Verification of Quantum Circuits

Wille, Robert; Burgholzer, Lukas

doi:10.1007/978-981-15-6401-7_43-1

Cited by 2 publications

(1 citation statement)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The MQT offers the quantum circuit equivalence checking tool QCEC which encompasses a comprehensive suite of efficient methods and automated tools for the verification of quantum circuits based on the ideas outlined in [47,48,49,50,51,52,53,54,55]. By this, an important step towards avoiding or substantially mitigating the emerge of a verification gap for quantum circuits is taken, i.e., a situation where the physical development of a technology substantially outperforms our ability to design suitable applications for it or to verify it.…”

Section: Verification Of Quantum Circuitsmentioning

confidence: 99%

The basis of design tools for quantum computing

Wille

Burgholzer

Hillmich

et al. 2022

Proceedings of the 59th ACM/IEEE Design Automation Conference

View full text Add to dashboard Cite

Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum software stack needs to be developed. This involves a multitude of complex tasks from the classical simulation of quantum circuits, over their compilation to specific devices, to the verification of the circuits to be executed as well as the obtained results. All of these tasks are highly non-trivial and necessitate efficient data structures to tackle the inherent complexity. Starting from rather straight-forward arrays over decision diagrams (inspired by the design automation community) to tensor networks and the ZX-calculus, various complementary approaches have been proposed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.

show abstract

Section: Verification Of Quantum Circuitsmentioning

confidence: 99%

The basis of design tools for quantum computing

Wille

Burgholzer

Hillmich

et al. 2022

Proceedings of the 59th ACM/IEEE Design Automation Conference

View full text Add to dashboard Cite

show abstract

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

Quetschlich

Burgholzer

Wille

2023

Quantum

Self Cite

View full text Add to dashboard Cite

Quantum software tools for a wide variety of design tasks on and across different levels of abstraction are crucial in order to eventually realize useful quantum applications. This requires practical and relevant benchmarks for new software tools to be empirically evaluated and compared to the current state of the art. Although benchmarks for specific design tasks are commonly available, the demand for an overarching cross-level benchmark suite has not yet been fully met and there is no mutual consolidation in how quantum software tools are evaluated thus far. In this work, we propose the MQT Bench benchmark suite (as part of the Munich Quantum Toolkit, MQT) based on four core traits: (1) cross-level support for different abstraction levels, (2) accessibility via an easy-to-use web interface (https://www.cda.cit.tum.de/mqtbench/) and a Python package, (3) provision of a broad selection of benchmarks to facilitate generalizability, as well as (4) extendability to future algorithms, gate-sets, and hardware architectures. By comprising more than 70,000 benchmark circuits ranging from 2 to 130 qubits on four abstraction levels, MQT Bench presents a first step towards benchmarking different abstraction levels with a single benchmark suite to increase comparability, reproducibility, and transparency.

show abstract

Verification of Quantum Circuits

Cited by 2 publications

References 44 publications

The basis of design tools for quantum computing

The basis of design tools for quantum computing

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

Contact Info

Product

Resources

About