Equivalence Checking of Quantum Circuits With the ZX-Calculus.
Tom PehamLukas BurgholzerRobert WillePublished in: IEEE J. Emerg. Sel. Topics Circuits Syst. (2022)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- low power
- type checking
- quantum mechanics
- high speed
- mobile computing
- delay insensitive
- provably correct
- analog vlsi
- tunnel diode
- consistency checking
- quantum computation
- computer algebra
- data sets
- algebraic structure
- high level synthesis
- formal language
- shift register
- expressive power
- real time
- genetic algorithm
- natural deduction
- np complete
- analog circuits
- circuit design
- deductive databases