197 citations · 850 across the 38 of their papers we have counts for
4 papers · 1 filter
Characteristics of Reversible Circuits for Error Detection
Lukas Burgholzer, Robert Wille, Richard Kueng
In this work, we consider error detection via simulation for reversible circuit architectures. We rigorously prove that reversibility augments the performance of this simple error…
Random Stimuli Generation for the Verification of Quantum Circuits
Lukas Burgholzer, Richard Kueng, Robert Wille
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…
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Lukas Burgholzer, Rudy Raymond, Robert Wille
Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere…
Advanced Equivalence Checking for Quantum Circuits
Lukas Burgholzer, Robert Wille
Quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, and machine-learning applications. However, to capi…