Hierarchical Verification of Quantum Circuits.
Sidi Mohamed BeillahiMohamed Yousri MahmoudSofiène TaharPublished in: NFM (2016)
Keyphrases
- quantum computing
- logic circuits
- asynchronous circuits
- logic synthesis
- quantum inspired
- high speed
- model checking
- database
- real time
- quantum evolutionary algorithm
- low power
- quantum mechanics
- hierarchical model
- delay insensitive
- analog vlsi
- circuit design
- formal verification
- verification method
- coarse to fine
- hierarchical structure
- multiscale
- real world