Lukas Burgholzer, Robert Wille,
"Advanced Equivalence Checking for Quantum Circuits"
, in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2021, ISSN: 1937-4151
Original Titel:
Advanced Equivalence Checking for Quantum Circuits
Sprache des Titels:
Englisch
Original Kurzfassung:
In the not-so-distant future, quantum computing
will change the way we tackle certain problems. It promises to
dramatically speed-up many chemical, financial, cryptographical,
and machine-learning applications. However, in order to capitalize on those promises, complex design flows composed of steps
such as compilation, decomposition, mapping, or transpilation
need to be employed before being able to execute a conceptual
quantum algorithm on an actual device. This results in many
descriptions at various levels of abstraction which may significantly differ from each other. The complexity of the underlying
design problems makes it ever more important to not only provide
efficient solutions for the single steps, but also to verify that
the originally intended functionality is preserved throughout all
levels of abstraction. This motivates methods for equivalence
checking of quantum circuits. However, most existing methods for
this are inspired by equivalence checking in the classical realm
and have merely been extended to support quantum circuits
(i.e., circuits which do not only rely on 0?s and 1?s, but also
employ superposition and entanglement).
Sprache der Kurzfassung:
Englisch
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Forschungs-