DDVis - A JKQ Tool for Visualizing Decision Diagrams for Quantum Computing
developed at the Johannes Kepler University Linz, Austria
With the emergence of more and more applications for quantum computing, also the development of corresponding methods for design automation is receiving increasing interest. In this respect, Decision Diagrams (DDs) provide a promising basis for many design tasks such as simulation, synthesis, verification, and more. However, users of the corresponding tools often do not have a corresponding background or an intuition about how these DD-based methods work and what their strengths and limits are. In an effort to make decision diagrams for quantum computing more accessible, we present DDVis---a JKQ tool which visualizes quantum decision diagrams and allows to explore their behavior when used in the design tasks mentioned above.
JKQ DDVis allows users to interactively learn how decision diagrams can be used in quantum computing, e.g., to
- compactly represent quantum states and efficiently simulate quantum circuits,
- compactly represent the functionality of quantum circuits,
- verify the equivalence of two circuits in an efficient fashion.
In order to explore the representation of quantum functionality and its use in equivalence of two circuits, go to the "Functionality/Verification" tab.