MQT QCEC: A tool for Quantum Circuit Equivalence Checking

Lukas Burgholzer; Tom Peham; Robert Wille

doi:10.1016/j.simpa.2020.100051

MQT QCEC: A tool for Quantum Circuit Equivalence Checking

Lukas Burgholzer (Developer), Tom Peham (Developer), Robert Wille (Other)

Chair of Design Automation

Research output: Non-textual form › Software

Abstract

A tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.
If you have any questions, feel free to contact us via [email protected] or by creating an issue on GitHub.

Original language	American English
DOIs	https://doi.org/10.1016/j.simpa.2020.100051
State	Published - 2022

Keywords

quantum computing
quantum software
equivalence checking
verification
quantum circuit equivalence checking

Access to Document

10.1016/j.simpa.2020.100051

Cite this

@misc{9aa75534387c4e00a12f33a5729a4d9f,

title = "MQT QCEC: A tool for Quantum Circuit Equivalence Checking",

abstract = "A tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.If you have any questions, feel free to contact us via [email protected] or by creating an issue on GitHub.",

keywords = "quantum computing, quantum software, equivalence checking, verification, quantum circuit equivalence checking",

author = "Lukas Burgholzer and Tom Peham and Robert Wille",

year = "2022",

doi = "10.1016/j.simpa.2020.100051",

language = "American English",

}

TY - ADVS

T1 - MQT QCEC

T2 - A tool for Quantum Circuit Equivalence Checking

A2 - Burgholzer, Lukas

A2 - Peham, Tom

A2 - Wille, Robert

PY - 2022

Y1 - 2022

N2 - A tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.If you have any questions, feel free to contact us via [email protected] or by creating an issue on GitHub.

AB - A tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich. It builds upon MQT Core, which forms the backbone of the MQT.If you have any questions, feel free to contact us via [email protected] or by creating an issue on GitHub.

KW - quantum computing

KW - quantum software

KW - equivalence checking

KW - verification

KW - quantum circuit equivalence checking

UR - https://github.com/cda-tum/mqt-qcec

UR - https://pypi.org/project/mqt.qcec/

U2 - 10.1016/j.simpa.2020.100051

DO - 10.1016/j.simpa.2020.100051

M3 - Software

ER -

MQT QCEC: A tool for Quantum Circuit Equivalence Checking

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Design Automation and Software Tools for Quantum Computing

Design Automation Tools and Software for Quantum Computing

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms

Decision Diagrams for Quantum Computing

Cite this

MQT QCEC: A tool for Quantum Circuit Equivalence Checking

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Projects

Design Automation and Software Tools for Quantum Computing

Research output

Design Automation Tools and Software for Quantum Computing

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms

Decision Diagrams for Quantum Computing

Cite this