Random Stimuli Generation for the Verification of Quantum Circuits.
Sprache des Titels:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across
various levels of abstraction. In this work, we show that there are
promising ways to check the correctness of quantum circuits using simulative verification and random stimuli. To this end, we
investigate how to properly generate stimuli for efficiently checking the correctness of a quantum circuit. More precisely, we introduce, illustrate, and analyze three schemes for quantum stimuli
generation?offering a trade-off between the error detection rate (as
well as the required number of stimuli) and efficiency. In contrast to
the verification in the classical realm, we show (both, theoretically
and empirically) that even if only a few randomly-chosen stimuli
(generated from the proposed schemes) are considered, high error
detection rates can be achieved for quantum circuits. The results
of these conceptual and theoretical considerations have also been
empirically confirmed?with a grand total of approximately 106
simulations conducted across 50 000 benchmark instances.