Checking Equivalence of Quantum Circuits and States.
George F. ViamontesIgor L. MarkovJohn P. HayesPublished in: CoRR (2007)
Keyphrases
- quantum computing
- logic circuits
- quantum inspired
- logic synthesis
- quantum evolutionary algorithm
- quantum computation
- database
- high speed
- low power
- delay insensitive
- data sets
- analog circuits
- quantum mechanics
- state transitions
- artificial intelligence
- power dissipation
- consistency checking
- circuit design
- state transition
- finite state machines
- multi agent