Checking equivalence of quantum circuits and states.
George F. ViamontesIgor L. MarkovJohn P. HayesPublished in: ICCAD (2007)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- quantum computation
- high speed
- state transitions
- low power
- state variables
- tunnel diode
- state transition
- electronic circuits
- power dissipation
- analog vlsi
- analog circuits
- databases
- digital circuits
- circuit design
- initial state
- finite state machines
- reinforcement learning