AutoQ: An Automata-Based Quantum Circuit Verifier.
Yu-Fang ChenKai-Min ChungOndrej LengálJyun-Ao LinWei-Lun TsaiPublished in: CAV (3) (2023)
Keyphrases
- logic circuits
- logic synthesis
- high speed
- low power
- quantum computing
- tunnel diode
- electronic circuits
- quantum computation
- circuit design
- quantum mechanics
- neural network
- probability ranking principle
- analog vlsi
- digital circuits
- delay insensitive
- low cost
- multi agent
- bayesian networks
- social networks
- quantum inspired
- genetic algorithm
- information retrieval
- duty cycle
- real world
- real time