QMDD: a decision diagram structure for reversible and quantum circuits. In this paper, we present a novel structure, QuantumMultiple- valued Decision Diagrams (QMDD), specifically designed to represent and manipulate the matrices encountered in the specification of reversible and quantum gates and circuits, both binary and multiple-valued. QMDD use many common decision diagram techniques, ideas introduced in QuIDDPro and novel techniques introduced here. Building the QMDD for the matrices for individual gates and the subsequent construction of the QMDD for the matrix describing a circuit are discussed. A prototype C implementation is described and experimental results are given that show the new structure is a promising and compact representation for reversible and quantum logic circuits.
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Soeken, Mathias; Tague, Laura; Dueck, Gerhard W.; Drechsler, Rolf: Ancilla-free synthesis of large reversible functions using binary decision diagrams (2016)
- Rahman, Md Zamilur; Rice, Jacqueline E.: Templates for positive and negative control toffoli networks (2014)
- Seiter, Julia; Soeken, Mathias; Wille, Robert; Drechsler, Rolf: Property checking of quantum circuits using quantum multiple-valued decision diagrams (2013)
- Soeken, Mathias; Wille, Robert; Minato, Shin-Ichi; Drechsler, Rolf: Using $\pi$DDs in the design of reversible circuits (2013)
- Rosenbaum, David: Binary superposed quantum decision diagrams (2010)
- Samoladas, Vasilis: Improved BDD algorithms for the simulation of quantum circuits (2008)