Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?

Liam Hurwitz Kamalika Datta Abhoy Kole Rolf Drechsler

Published in: RC (2024)

Keyphrases

model checking
quantum computing
dynamically changing
search engine
low cost
simulation study
asynchronous circuits
dynamic characteristics
database
artificial intelligence
information systems
high quality
dynamic environments
computationally efficient
digital circuits
verification method