QWIRE Practice: Formal Verification of Quantum Circuits in Coq.
Robert RandJennifer PaykinSteve ZdancewicPublished in: QPL (2017)
Keyphrases
- formal verification
- quantum computing
- model checking
- logic circuits
- model checker
- formal methods
- symbolic model checking
- bounded model checking
- quantum inspired
- automated verification
- high speed
- real world
- low power
- quantum computation
- logic synthesis
- quantum mechanics
- power consumption
- asynchronous circuits
- digital circuits
- theorem prover
- temporal logic
- program slicing
- functional verification