Efficient and Correct Compilation of Quantum Circuits
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
International Conference On Computer Aided Design (ICCAD)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
The compilation of quantum circuits depends on efficient methods
to be feasible for all but the trivial instances. To this end, a variety
of compiling methods have been introduced in the past, but room
for improvement exists. Moreover, just an efficient compilation
process itself is not sufficient?the resulting circuit must be correct
as well. We show how existing compilation approaches can be
optimized by utilizing reasoning engines such as SAT solvers as
well as A*-search and how their correctness can afterwards be
verified by clever data-structures such as decision diagrams
(DDs). This results in a compilation flow which can generate
minimal or close-to-minimal results for many instances and
additionally guarantees correctness throughout the process.
Forschungs-