New Ideas Integrated approach to both quantum and classical logic circuits

1. DARPA Agreement No. F30602-01-2-0520TITLE: Quantum Approaches to Logic Circuit Synthesis and TestingThe University of Michigan: John Hayes and Igor Markov • New Ideas • Integrated approach to both quantum and classical logic circuits • Exploit quantum methods for classical circuit synthesis and testing problems • Scalable representation of quantum circuits • Multiobjective optimization techniques that are suited to automation (CAD) Parallelism Microscale Quantum domain Practical logic circuits Synthesis and test algorithms Classical domain Automation Scalability • Impact • Quantum approaches promise more effic- ient computation in critical applications. • Automation is key to large-scale quantum circuit development • Development of practical algorithms for quantum circuit synthesis and test • Use of quantum methods to improve testing and synthesis of classical circuits • Schedule • Year 1: Development of basic quantum and reversible-circuit design methodology. • Year 2: Software methods for (optimal) circuit synthesis, simulation and testing. • Year 3: Empirical comparisons of algor- ithms for synthesis, test and optimization. Evaluation of specific quantum circuit designs.