Equivalence Checking of Quantum Circuits with the ZX-Calculus.
Tom PehamLukas BurgholzerRobert WillePublished in: CoRR (2022)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- type checking
- low power
- quantum computation
- tunnel diode
- quantum mechanics
- high speed
- delay insensitive
- relational calculus
- multi valued
- sequent calculus
- computer algebra
- provably correct
- vlsi circuits
- lateral inhibition
- circuit design
- low cost