Random Stimuli Generation for the Verification of Quantum Circuits.

Lukas Burgholzer Richard Kueng Robert Wille

Published in: CoRR (2020)

Keyphrases

quantum computing
logic circuits
model checking
asynchronous circuits
logic synthesis
quantum inspired
website
search algorithm
randomly generated
face verification
formal analysis
generation process