Random Stimuli Generation for the Verification of Quantum Circuits.

Lukas Burgholzer Richard Kueng Robert Wille

Published in: ASP-DAC (2021)

Keyphrases

quantum computing
logic circuits
asynchronous circuits
logic synthesis
quantum inspired
model checking
quantum mechanics
high speed
randomly generated
delay insensitive
quantum evolutionary algorithm
neural network
information retrieval
mobile robot
human observers
probability ranking principle