Login / Signup
QWIRE Practice: Formal Verification of Quantum Circuits in Coq.
Robert Rand
Jennifer Paykin
Steve Zdancewic
Published 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