Moving forward: A non-search based synthesis method toward efficient CNOT-based quantum circuit synthesis algorithms

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2008, Pages 83-88

  Saeedi, Mehdi ^a   Zamani, Morteza Saheb ^a   Sedighi, Mehdi ^a  

^a AMIRKABIR UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DIGITAL INTEGRATED CIRCUITS; INDUSTRIAL ENGINEERING; LOGIC CIRCUITS; NETWORKS (CIRCUITS); QUANTUM OPTICS;

DESIGN AUTOMATION CONFERENCE; QUANTUM CIRCUITS; QUANTUM-INFORMATION PROCESSING; RESEARCH PROBLEMS; SOUTH PACIFIC; SYNTHESIS ALGORITHMS; SYNTHESIS METHODS;

QUANTUM EFFICIENCY;

EID: 49549113571     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2008.4484066     Document Type: Conference Paper

References (20)

1. International Technology Roadmap for Semiconductors, 2005 Edition.
2. P. E. Black, D. R. Kuhn, and C. J. Williams, "Quantum Computing and Communication," Advances in Computers, Academic Press, vol. 56, pp. 189-244, 2002.
3. L. K. Grover, "A Fast Quantum Mechanical Algorithm for Database Search," in 28th Annual ACM Symposium on Theory of Computing, pp. 212-219, 1996.
4. P. W. Shor, "Polynomial Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer," SIAM Journal on Computing, 26(5), pp. 1484-1509, 1997.
5. M. A. Nielsen, I. L. Chuang, "Quantum Computation and Quantum Information,"Cambridge University Press, 2000.
6. P. Gupta, A. Agrawal, and N. K Jha, "An Algorithm for Synthesis of Reversible Logic Circuits," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, November 2006.
7. M. Saeedi, M. Saheb Zamani, M. Sedighi, "On the Behavior of Substitution-Based Reversible Circuit Synthesis Algorithms: Investigation and Improvement," International Symposium on VLSI, 2007.
8. th Midwest Symposium on Circuits and Systems, pp. II-493-II-496, 2002.
9. M. Saeedi, M. Sedighi, M. Saheb Zamani, "A New Methodology for Quantum Circuit Synthesis: CNOT-Based Circuits as an Example," International Workshop on Logic Synthesis, 2007.
10. T. Toffoli, "Reversible Computing," MIT, Tech. Rep., 1980.
11. P. Kerntopf, "A New Heuristic Algorithm for Reversible Logic Synthesis," Design Automation Conference, pp. 834-837, 2004.
12. D. Maslov, C. Young, D. M. Miller, and G. W. Dueck, "Quantum Circuit Simplification Using Templates," Design Automation and Test in Europe, pp. 1208-1213, 2005.
13. K. Iwama, and Y. Kambayashi, and S. Yamashita, "Transformation Rules for Designing CNOT-Based Quantum Circuits,"Design Automation Conference, pp.419-424, 2002.
14. D. Maslov, C. Young, D. M. Miller, and G. W. Dueck, "Quantum Circuit Simplification Using Templates," Design Automation and Test in Europe, pp. 1208-1213, 2005.
15. D. M. Miller, D. Maslov, and G. W. Dueck, "A Transformation Based Algorithm for Reversible Logic Synthesis," Design Automation Conference, pp. 318-323, 2003.
16. W. Hung, X. Song, G. Yang, J. Yang, and M. Perkowski, "Quantum Logic Synthesis by Symbolic Reachability Analysis,"Design Automation Conference, pp. 838-841, 2004.
17. V. V. Shende, S. S. Bullock, I. L. Markov, "Synthesis of Quantum Logic Circuits," IEEE Transactions on Computer- Aided Design of Integrated Circuits and Systems, 25(6), pp. 1000-1010, June 2006.
18. A. Abdollahi, and M. Pedram, "Analysis and Synthesis of Quantum Circuits by Using Quantum Decision Diagrams," Design Automation and Test in Europe, pp. 317-322, 2006.
19. J. J. Vartiainen, M. Mottonen, and M. M. Salomaa. "Efficient Decomposition of Quantum Gates," Phys. Rev. Let., 92:177902, 2004.
20. K. N. Patel, I. L. Markov, J. P. Heyes, "Efficient Synthesis of Linear Reversible Circuits," arXiv:quant-ph/0302002v.