Publications

QCEC is academic software. Thus, many of its built-in algorithms have been published as scientific papers.

If you use QCEC in your work, we would appreciate if you cited [2] (which subsumes [7] and [8]).

Furthermore, if you use any of the particular algorithms such as

  • the compilation flow result verification scheme [9],

  • the dedicated stimuli generation schemes [3],

  • the transformation scheme for circuits containing non-unitaries [10],

  • the equivalence checker based on ZX-diagrams [5], or

  • the method for checking equivalence of parameterized circuits [11]

please consider citing their respective papers as well. A full list of related papers is given below.

[1]

Robert Wille, Stefan Hillmich, and Burgholzer Lukas. Tools for quantum computing based on decision diagrams. ACM Transactions on Quantum Computing, 2021. [PDF].

[2]

Lukas Burgholzer and Robert Wille. Advanced equivalence checking for quantum circuits. IEEE Transactions on CAD of Integrated Circuits and Systems, 2021. [PDF].

[3]

Lukas Burgholzer, Kueng Richard, and Robert Wille. Random stimuli generation for the verification of quantum circuits. In Asia and South Pacific Design Automation Conference. 2021. [PDF].

[4]

Aleks Kissinger and John van de Wetering. PyZX: Large scale automated diagrammatic reasoning. In Quantum Physics and Logic. 2019. [PDF].

[5]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking of quantum circuits with the ZX-calculus. Journal of Emerging and Selected Topics in Circuits and Systems, 2022. [PDF].

[6]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking paradigms in quantum circuit design: A case study. In Design Automation Conference. 2022. [PDF].

[7]

Lukas Burgholzer and Robert Wille. Improved DD-based equivalence checking of quantum circuits. In Asia and South Pacific Design Automation Conference. 2020. [PDF].

[8]

Lukas Burgholzer and Robert Wille. The power of simulation for equivalence checking in quantum computing. In Design Automation Conference. 2020. [PDF].

[9]

Lukas Burgholzer, Rudy Raymond, and Robert Wille. Verifying results of the IBM Qiskit quantum circuit compilation flow. In International Conference on Quantum Computing and Engineering. 2020. [PDF].

[10]

Lukas Burgholzer and Robert Wille. Handling non-unitaries in quantum circuit equivalence checking. In Design Automation Conference. 2022. [PDF].

[11]

Tom Peham, Lukas Burgholzer, and Robert Wille. Equivalence checking of parameterized quantum circuits: Verifying the compilation of variational quantum algorithms. In Asia and South Pacific Design Automation Conference. 2023. [PDF].