An efficient verification of quantum circuits under a practical restriction.
Shigeru YamashitaShin-ichi MinatoD. Michael MillerPublished in: CIT (2008)
Keyphrases
- quantum computing
- logic circuits
- asynchronous circuits
- quantum inspired
- high speed
- model checking
- logic synthesis
- practical application
- real world
- computationally efficient
- quantum computation
- databases
- quantum mechanics
- fingerprint verification
- formal verification
- formal methods
- practical problems
- case study
- artificial intelligence
- information retrieval