Fast equivalence-checking for quantum circuits.
Shigeru YamashitaIgor L. MarkovPublished in: NANOARCH (2010)
Keyphrases
- quantum computing
- logic circuits
- quantum inspired
- logic synthesis
- quantum evolutionary algorithm
- low power
- quantum mechanics
- tunnel diode
- high speed
- databases
- data sets
- analog vlsi
- mobile computing
- evolutionary algorithm
- neural network
- database
- circuit design
- analog circuits
- datalog programs
- fault diagnosis
- genetic algorithm
- quantum computation