QMDD: A decision diagram structure for reversible and quantum circuits

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2006, Pages 30-

  Miller, D Michael ^a   Thornton, Mitchell A ^b  

^a UNIVERSITY OF VICTORIA   (Canada)

^b Southern Methodist University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DECISION THEORY; MATRIX ALGEBRA; QUANTUM THEORY;

QUANTUM GATES; QUANTUM LOGIC CIRCUITS; QUANTUM MULTIPLE-VALUED DECISION DIAGRAMS (QMDD);

LOGIC CIRCUITS;

EID: 33751058487     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISMVL.2006.35     Document Type: Conference Paper

References (14)

1. R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebric decision diagrams and their applications. Form. Methods Syst. Des., 10(2-3):171-206, 1997.
2. K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient implementation of a bdd package. In 27th Design Automation Conference, June 1990.
3. E. Clarke, K. Mcmillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large boolean functions with applications to technology mapping. Formal Methods in System Design, 10(2-3):137-148, 1997.
4. A. De Vos, B. Raa, and L. Storme. Generating the group of reversible logic gates. J. of Physics A: Mathematical and General, 35:7063-7078, 2002.
5. M. Fujita, P. C. McGeer, and J. C.-Y. Yang. Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Form. Methods Syst. Des., 10(2-3):149-169, 1997.
6. D. Maslov. Reversible logic synthesis benchmarks page. http://www.cs.uvic.ca/-dmaslov/, 2005.
7. D. Maslov, C. Young, D. M. Miller, and G. W. Dueck. Quantum circuit simplification using templates. In Design and Test Europe (DATE), pages 1208-1213, Munich, Germany, March 2005.
8. M. Miller, G. Dueck, and D. Maslov. A synthesis method for MVL reversible logic. In International Symposium on Multiple- Valued Logic, pages 74-80, Toronto, Canada, May 2004.
9. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge Univ. Press, 2000.
10. F. Somenzi. CUDD: CU Decision Diagram package - release 2.4.1. http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html, 2005.
11. T. Toffoli. Reversible computing. Tech memo MIT/LCS/TM-151, MIT Lab for Comp. Sci, 1980.
12. G. F. Viamontes, I. L. Markov, and J. P. Hayes. Graph-based simulation of quantum computation in the state-vector and density-matrix representation. In Proceedings of SPIE, volume 5436, April 2004.
13. G. F. Viamontes, I. L. Markov, and J. P. Hayes. Graph-based simulation of quantum computation in the density matrix representation. Quantum Information & Computation, 5(2):113-130, 2005.
14. G. F. Viamontes, I. L. Markov, and J. P. Hayes. Quid-dpro: High-performance quantum circuit simulation. http://vlsicad.eecs.umich.edu/ Quantum/qp/, 2005.