Full-state quantum circuit simulation by using data compression

XC Wu, S Di, EM Dasgupta, F Cappello… - Proceedings of the …, 2019 - dl.acm.org
Quantum circuit simulations are critical for evaluating quantum algorithms and machines.
However, the number of state amplitudes required for full simulation increases exponentially …

IBM's Qiskit tool chain: Working with and develo** for real quantum computers

R Wille, R Van Meter, Y Naveh - … & Test in Europe Conference & …, 2019 - ieeexplore.ieee.org
Quantum computers promise substantial speedups over conventional machines for many
practical applications. While considered" dreams of the future" for a long time, first quantum …

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 …

Verification of quantum circuits

R Wille, L Burgholzer - Handbook of Computer Architecture, 2024 - Springer
We are at the dawn of a new “computing age” in which quantum computers will find their
way into practical applications. Although quantum computers work differently than classical …

Tools for quantum computing based on decision diagrams

R Wille, S Hillmich, L Burgholzer - ACM Transactions on Quantum …, 2022 - dl.acm.org
With quantum computers promising advantages even in the near-term NISQ era, there is a
lively community that develops software and toolkits for the design of corresponding …

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

R Wille, L Berent, T Forster, J Kunasaikaran… - arxiv preprint arxiv …, 2024 - arxiv.org
Quantum computers are becoming a reality and numerous quantum computing applications
with a near-term perspective (eg, for finance, chemistry, machine learning, and optimization) …

JKQ: JKU tools for quantum computing

R Wille, S Hillmich, L Burgholzer - Proceedings of the 39th International …, 2020 - dl.acm.org
With quantum computers on the brink of practical applicability, there is a lively community
that develops toolkits for the design of corresponding quantum circuits. Many of the …

Random stimuli generation for the verification of quantum circuits

L Burgholzer, R Kueng, R Wille - Proceedings of the 26th Asia and South …, 2021 - dl.acm.org
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 …

FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array

S Jiang, R Fu, L Burgholzer, R Wille, TY Ho… - Proceedings of the 53rd …, 2024 - dl.acm.org
Quantum circuit simulator (QCS) is essential for designing quantum algorithms because it
assists researchers in understanding how quantum operations work without access to …

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 …