Fast Equivalence-checking for Quantum CircuitsReport as inadecuate

 Fast Equivalence-checking for Quantum Circuits

Fast Equivalence-checking for Quantum Circuits - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: Fast Equivalence-checking for Quantum Circuits
We perform formal verification of quantum circuits by integrating several techniques specialized to particular classes of circuits. Our verification methodology is based on the new notion of a reversible miter that allows one to leverage existing techniques for circuit simplification of quantum circuits. For reversible circuits which arise as runtime bottlenecks of key quantum algorithms, we develop several verification techniques and empirically compare them. We also combine existing quantum verification tools with the use of SAT-solvers. Experiments with circuits for Shors number-factoring algorithm, containing thousands of gates, show improvements in efficiency by 3-4 orders of magnitude.

Author: Shigeru Yamashita; Igor L. Markov


Related documents