Analysis and synthesis of quantum circuits by using quantum decision diagrams

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 1, Issue , 2006, Pages

  Abdollahi, Afshin ^a   Pedram, Massoud ^a  

^a University of Southern California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECISION THEORY; FUNCTION EVALUATION; MATHEMATICAL OPERATORS; OPTIMIZATION; QUANTUM THEORY;

QUANTUM CIRCUITS; QUANTUM DECISION DIAGRAMS (QDD); QUANTUM OPERATORS;

LOGIC CIRCUITS;

EID: 34047106816     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2006.244176     Document Type: Conference Paper

References (33)

1. http://www.itrs.net/Common/2004Update/2004Update.htm
2. R. P. Feynman, "Simulating Physics with Computers," Int'l Journal of Theoretical Physics, 21, 1982, pp. 467-488.
3. D. Deutsch, "Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer," Royal Society, A, 400, 1985, pp. 97-117.
4. M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000.
5. C. P. Williams, S. H. Clearwater, Explorations in Quantum Computing, Springer-Verlag, 1998.
6. M. Hirvensalo, Quantum Computing, Springer Verlag, 2001.
7. R. Landauer, "Irreversibility and Heat Generation in the Computational Process," IBM Journal of Research and Development, 5, 1961, pp.183-191.
8. R. Keyes, R. Landauer, "Minimal Energy Dissipation in Logic," IBM Journal of Research and Development, 14, 1970, pp. 152-157.
9. st Edition, 1930.
10. J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton Univ. Press, 1950.
11. K. Iwama, Y. Kambayashi, S. Yamashita, "Transformation Rules for Designing CNOT-Based Quantum Circuits," DAC, 2002, pp.419-424.
12. A. Khlopotine, M. Perkowski, P. Kerntopf, "Reversible Logic Synthesis by Iterative Compositions," IWLS, 2002, pp. 261-266.
13. D.M. Miller, "Spectral and Two-Place Decomposition Techniques in Reversible Logic," Midwest Symp. on Circuits and Systems, CD-ROM, 2002.
14. M. Perkowski, et. al., "Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits," IWLS, 2001, pp. 90-95.
15. T. Toffoli, Reversible Computing, Lab. for Computer Science, MIT, Cambridge, MA, Technical Memo. MIT/LCS/TM-151, 1980.
16. P. Kemtopf, "A Comparison of Logical Efficiency of Reversible and Conventional Gates," Intl. Workshop Logic Synthesis, 2000, pp. 261-269.
17. D. M. Miller, D. Maslov, G. W. Dueck, "A Transformation Based Algorithm for Reversible Logic Synthesis," Design Automation Conf. 2003, pp. 318-323.
18. V. V. Shende, A. K. Prasad, I. L. Markov, J. P. Hayes, "Synthesis of Reversible Logic Circuits," IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems, vol. 22(6), 2003, pp. 710-722.
19. A. Agrawal, N. K. Jha, "Synthesis of Reversible Logic," Design Automation and Test in Europe, 2004, pp. 21384-21385.
20. A. Al-Rabadi, "Quantum Circuit Synthesis Using Classes of GF(3) Reversible Fast Spectral Transforms," Int'l Symp. on Multi Valued Logic, 2004, pp. 87-93.
21. V. V. Shende, S. S. Bullock, I. L. Markov, "Synthesis of Quantum Logic Circuits," A SP Design Automation Conf., 2005, pp. 272-275.
22. L. Storme et al., "Group Theoretical Aspects of Reversible Logic Gates," Journal of Universal Computer Science 5, 1999, pp 307-321.
23. A. De Vos et al., "Generating the Group of Reversible Logic Gates," Journal of Physics A: Mathematical and General,35, 2002, pp. 7063-7078.
24. W. Hung, X. Song, G. Yang, J.Yang, M. Perkowski, "Quantum Logic Synthesis by Symbolic Reachability Analysis," Design Automation Conference, 2004, pp.838-841.
25. A. Al-Rabadi, L. Casperson and M. Perkowski, Multiple-valued quantum logic, Quantum Computers and Computing, Vol. 3, Number 1.
26. G.F.Viamontes, I.L.Markov and J.P. Hayes, "Improving Gate-Level Simulation of Quantum Circuits1," Quantum Information Processing, Vol. 2, No. 5, 2003
27. M. Lukac et al, "Evolutionary Approach to Quantum and Reversible Circuits Synthesis," Artificial Intelligence in Logic Design, Kluwer Academic Publisher, 2004, pp. 361-417.
28. J. I. Cirac, P. Zoller, "Quantum Computation with Cold Trapped Ions," Physical Review, 74, Issue 20, 1995, pp. 4091-4094.
29. C. Monroe, et. al., "Simplified Quantum Logic with Trapped Ions," Physical Review A, 55, Issue 4, 1997, pp. 2489-2491.
30. R. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Trans. on Computers, vol. 35, 1986, pp. 677-691.
31. K. Brace, R. Rudell, and R. Bryant, "Efficient Implementation of a BDD Package," Design Automation Conf., 1990, pp. 40-45.
32. Y.-T. Lai, M. Pedram, and S. Vrudhula, "EVBDD-Based Algorithms for Integer Linear Programming, Spectral Transformation, and Function Decomposition," IEEE Trans. on Computer-Aided Design, 8, 1994,pp. 959-975.
33. A. Barenco et al., "Elementary Gates for Quantum Computation," Physical Review A, 52, 1995, pp. 3457-3467.