simulation

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams

The classical simulation of quantum circuits is essential in the development and testing of quantum algorithms. Methods based on tensor networks or decision diagrams have proven to alleviate the inevitable exponential growth of the underlying …

Visualizing Decision Diagrams for Quantum Computing

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 provide a promising basis for many design …

The Power of Simulation for Equivalence Checking in Quantum Computing

The rapid rate of progress in the physical realization of quantum computers sparked the development of elaborate design flows for quantum computations on such devices. Each stage of these flows comes with its own representation of the intended …