JKQ: JKU Tools for Quantum Computing

Robert Wille; Stefan Hillmich; Lukas Burgholzer

doi:10.1145/3400302.3415746

JKQ: JKU Tools for Quantum Computing

Robert Wille
, Stefan Hillmich
, Lukas Burgholzer

Software Competence Center Hagenberg
Johannes Kepler University Linz

Research output: Contribution to journal › Conference article › peer-review

20 Scopus citations

Abstract

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 problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ-a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.

Original language	English
Article number	9256749
Journal	IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Volume	2020-November
DOIs	https://doi.org/10.1145/3400302.3415746
State	Published - 2 Nov 2020
Externally published	Yes
Event	39th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2020 - Virtual, San Diego, United States Duration: 2 Nov 2020 → 5 Nov 2020

Access to Document

10.1145/3400302.3415746

Cite this

@article{03a875080bea47a996f90e90973ea723,

title = "JKQ: JKU Tools for Quantum Computing",

abstract = "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 problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ-a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.",

author = "Robert Wille and Stefan Hillmich and Lukas Burgholzer",

note = "Publisher Copyright: {\textcopyright} 2020 Association on Computer Machinery.; 39th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2020 ; Conference date: 02-11-2020 Through 05-11-2020",

year = "2020",

month = nov,

day = "2",

doi = "10.1145/3400302.3415746",

language = "English",

volume = "2020-November",

journal = "IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD",

issn = "1092-3152",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - JKQ

T2 - 39th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2020

AU - Wille, Robert

AU - Hillmich, Stefan

AU - Burgholzer, Lukas

PY - 2020/11/2

Y1 - 2020/11/2

N2 - 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 problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ-a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.

AB - 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 problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ-a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.

UR - https://www.scopus.com/pages/publications/85097922290

U2 - 10.1145/3400302.3415746

DO - 10.1145/3400302.3415746

M3 - Conference article

AN - SCOPUS:85097922290

SN - 1092-3152

VL - 2020-November

JO - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

JF - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

M1 - 9256749

Y2 - 2 November 2020 through 5 November 2020

ER -

JKQ: JKU Tools for Quantum Computing

Abstract

Access to Document

Other files and links

Fingerprint

MQT DDSIM: A quantum circuit simulator based on decision diagrams written in C++

Cite this