MQT Bench: Benchmarking software and design automation tools for quantum computing

N Quetschlich, L Burgholzer, R Wille - Quantum, 2023 - quantum-journal.org
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 …

Statistical assertions for validating patterns and finding bugs in quantum programs

Y Huang, M Martonosi - … of the 46th International Symposium on …, 2019 - dl.acm.org
In support of the growing interest in quantum computing experimentation, programmers
need new tools to write quantum algorithms as program code. Compared to debugging …

How to efficiently handle complex values? Implementing decision diagrams for quantum computing

A Zulehner, S Hillmich, R Wille - 2019 IEEE/ACM International …, 2019 - ieeexplore.ieee.org
Quantum computing promises substantial speedups by exploiting quantum mechanical
phenomena such as superposition and entanglement. Corresponding design methods …

Noise-aware quantum circuit simulation with decision diagrams

T Grurl, J Fuß, R Wille - … Aided Design of Integrated Circuits and …, 2022 - ieeexplore.ieee.org
Since quantum computers can solve important problems faster than classical computers,
many resources have gone into the development of this technology in recent decades …

Deep quantum circuit simulations of low-energy nuclear states

A Li, A Baroni, I Stetcu, TS Humble - The European Physical Journal A, 2024 - Springer
Numerical simulation is an important method for verifying the quantum circuits used to
simulate low-energy nuclear states. However, real-world applications of quantum computing …

[图书][B] Introducing design automation for quantum computing

A Zulehner, R Wille - 2020 - Springer
In the 1970s, researchers started to utilize quantum mechanics to address questions in
computer science and information theory—establishing new research directions (such as …

Considering decoherence errors in the simulation of quantum circuits using decision diagrams

T Grurl, J Fuß, R Wille - … of the 39th International Conference on …, 2020 - dl.acm.org
By using quantum mechanical effects, quantum computers promise significant speedups in
solving problems intractable for conventional computers. However, despite recent progress …

Arrays vs. decision diagrams: A case study on quantum circuit simulators

T Grurl, J Fuß, S Hillmich… - 2020 IEEE 50th …, 2020 - ieeexplore.ieee.org
Despite the recent progress in the physical implementation of quantum computers, a
significant amount of research still depends on the use of quantum circuit simulators running …

Stochastic quantum circuit simulation using decision diagrams

T Grurl, R Kueng, J Fuß, R Wille - 2021 Design, Automation & …, 2021 - ieeexplore.ieee.org
Recent years have seen unprecedented advance in the design and control of quantum
computers. Nonetheless, their applicability is still restricted and access remains expensive …

TANQ-Sim: Tensorcore Accelerated Noisy Quantum System Simulation via QIR on Perlmutter HPC

A Li, C Liu, S Stein, IS Suh, M Zheng, M Wang… - arXiv preprint arXiv …, 2024 - arxiv.org
Although there have been remarkable advances in quantum computing (QC), it remains
crucial to simulate quantum programs using classical large-scale parallel computing …