Summary of Our Research on Quantum Circuits

• PROJECT SUMMARY

  Title:

  Quantum Approaches to Logic Circuit Synthesis and Testing

  Organization:

  University of Michigan, Ann Arbor

  Principal Investigators:

  • John P. Hayes, jhayes@eecs.umich.edu
  • Igor Markov, imarkov@eecs.umich.edu

  Administrative Assistant:

  Denise Duprie, duprie@eecs.umich.edu

  Period:

  Four Years: June 1, 2001 to May 31, 2005

• PROJECT GOALS
  • Apply quantum computing concepts in an integrated way to automated synthesis, simulation and testing of conventional and quantum logic circuits in order to
    • Obtain a deeper understanding of both areas
    • Devise efficient methods to solve practical problems in both the quantum and classical domains.
  • Noteworthy Features
    • Benefits should accrue to conventional CAD technology, even if a practical quantum technology is unavailable within the project's timeframe.
    • We will study algorithms where quantum computing offers no worst-case speed-up, but may offer practical speed-up, lower power, or other advantages.
• RESEARCH DIRECTIONS

  Task 1: Synthesis

  • Automatic synthesis of quantum circuits with implementation-sensitive constraints and gate libraries
  • Synthesis and comparison of multiple alternative quantum circuits
  • Search for high-quality, especially optimal, quantum circuits
  • Identify scalable methods in conventional circuit synthesis that are extendable to quantum designs

  Task 2: Simulation and Testing

  • Applicability of conventional fault models to quantum circuits.
  • Impact of reversibility on fault modeling and test generation in large-scale conventional circuits.
  • Modeling of errors and error propagation in quantum circuits
  • Efficient modeling of error propagation in reversible conventional circuits
  • Testing of quantum circuits

• MILESTONES

  Year 1:

  Development of basic design methodology for synthesis, simulation and testing of quantum and reversible conventional circuits

  Year 2:

  Software implementation of circuit test, simulation and optimization algorithms

  Year 3:

  Empirical comparison of algorithms for circuit synthesis, test and optimization. Evaluation of specific quantum circuit designs.