Equivalence checking is a basic task in the synthesis and verification of classical digital circuits. A hardware designer needs to know whether a circuit's implementation is functionally equivalent to its specification. In addition, the equivalence of different versions of the same (sub-)circuit must be checked throughout the complex computer-aided design process. Traditional combinational equivalence checking is solved in practice with high-performance solvers for Boolean Satisfiability, and its negative version (non-equivalence) is NP-complete.
Equivalence checking is likely to be just as important in quantum CAD, and the non-equivalence of quantum circuits is QMA-complete.1 However, the equivalence of quantum states and operators can be subtle. Unlike their classical counterparts, qubits and quantum gates can differ by global and relative phase, and yet be equivalent upon measurement. Building upon the algorithmic blocks developed in Chapter 7, we present QuIDD algorithms to check quantum states and operators for equivalence. As we will see, the variety of algorithms available to solve this problem is surprising.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this chapter
Cite this chapter
(2009). Checking Equivalence of States and Circuits. In: Quantum Circuit Simulation. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-3065-8_9
Download citation
DOI: https://doi.org/10.1007/978-90-481-3065-8_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-3064-1
Online ISBN: 978-90-481-3065-8
eBook Packages: EngineeringEngineering (R0)