Reversible circuit optimization via leaving the boolean domain

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 30, Issue 6, 2011, Pages 806-816

  Maslov, Dmitri ^a   Saeedi, Mehdi ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b AMIRKABIR UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

Circuit optimization; logic synthesis; quantum circuits; reversible circuits

Indexed keywords

AUXILIARY QUBITS; BOOLEAN DOMAIN; CIRCUIT DESIGNS; CIRCUIT OPTIMIZATION; EFFICIENT DESIGNS; LOGIC SYNTHESIS; QUANTUM BITS; QUANTUM CIRCUIT; QUANTUM CIRCUITS; QUANTUM GATES; REVERSIBLE CIRCUIT OPTIMIZATION; REVERSIBLE CIRCUITS;

LOGIC CIRCUITS; LOGIC DESIGN; LOGIC GATES; OPTIMIZATION; QUANTUM ELECTRONICS; QUANTUM OPTICS;

INTEGRATED CIRCUIT MANUFACTURE;

EID: 79957532597     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2011.2105555     Document Type: Article

References (20)

1. S. Aaronson and D. Gottesman, "Improved simulation of stabilizer circuits," Phys. Rev. A, vol. 70, no. 5, pp. 052328-1-052328-14, Nov. 2004.
2. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVinchenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, "Elementary gates for quantum computation," Phys. Rev. A, vol. 52, no. 5, pp. 3457-3467, 1995.
3. D. Deutsch and R. Jozsa, "Rapid solutions of problems by quantum computation," in Proc. Royal Soc. London A, vol. 439. 1992, pp. 553-558.
4. X. Fei, D. Jiangfeng, S. Mingjun, Z. Xianyi, H. Rongdian, and W. Jihui, "Realization of the Fredkin gate by three transition pulses in a nuclear magnetic resonance quantum information processor," Chinese Phys. Lett., vol. 19, no. 8, pp. 1048-1050, 2002.
5. A. Kitaev. (1995). Quantum Measurements and the Abelian Stabilizer Problem [Online]. Available: http://arxiv.org/abs/quant-ph/9511026
6. D. Maslov. (Jun. 2010). Reversible Logic Synthesis Benchmarks Page. [Online]. Available: http://webhome.cs.uvic.ca/~dmaslov
7. D. Maslov, D. M. Miller, and G. W. Dueck, "Toffoli network synthesis with templates," IEEE Trans. Comput.-Aided Des., vol. 24, no. 6, pp. 807-817, Jun. 2005. (Pubitemid 40818745)
8. D. Maslov, D. M. Miller, and G.W. Dueck, "Techniques for the synthesis of reversible Toffoli networks," ACM Trans. Des. Automat. Electron. Syst., vol. 12, no. 4, article 42, pp. 42:1-42:28, Sep. 2007.
9. A. Mishchenko. EXORCISM-4 (Jun. 2010) [Online]. Available: http://web.cecs.pdx.edu/~alanmi/research/min/minEsop.htm
10. A. Mishchenko and M. Perkowski, "Logic synthesis of reversible wave cascades," in Proc. Int. Workshop Logic Synthesis, Jun. 2002, pp. 197-202.
11. M. Nielsen and I. Chuang, Quantum Computation and Quantum Information. Cambridge, U.K.: Cambridge Univ. Press, 2000.
12. A. K. Prasad, V. V. Shende, K. N. Patel, I. L. Markov, and J. P. Hayes, "Algorithms and data structures for simplifying reversible circuits," ACM J. Emerg. Technol. Comput. Syst., vol. 2, no. 4, pp. 277-293, 2006. (Pubitemid 46192921)
13. J. Proos and C. Zalka, "Shor's discrete logarithm quantum algorithm for elliptic curves," Quantum Inform. Computat., vol. 3, no. 4, pp. 317-344, 2003. (Pubitemid 37180285)
14. T. C. Ralph, K. J. Resch, and A. Gilchrist, "Efficient Toffoli gates using qudits," Phys. Rev. A, vol. 75, no. 2, pp. 022313-1-022313-5, 2007.
15. M. Saeedi, M. S. Zamani, M. Sedighi, and Z. Sasanian, "Reversible circuit synthesis using a cycle-based approach," ACM J. Emerg. Technol. Comput. Syst., vol. 6, no. 4, article 13, pp. 13:1-13:26, 2010.
16. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, "Synthesis of reversible logic circuits," IEEE Trans. Coput.-Aided Des., vol. 22, no. 6, pp. 710-722, Jun. 2003.
17. Wikipedia. (Jun. 2010). Cycles and Fixed Points [Online]. Available: http://en.wikipedia.org/wiki/Cycles and fixed points
18. R. Wille and R. Drechsler, "BDD-based synthesis of reversible logic for large functions," in Proc. Des. Automat. Conf., 2009, pp. 270-275.
19. S. A. Wolf, D. D. Awschalom, R. A. Buhrman, J. M. Daughton, S. V. Molnar, M. L. Roukes, A. Y. Chtchelkanova, and D. M. Treger, "Spintronics: A spin-based electronics vision for the future," Science, vol. 294, no. 5546, pp. 1488-1495, Nov. 2001. (Pubitemid 33063913)
20. J. Zhang, J. Vala, S. Sastry, and K. B. Whaley, "Geometric theory of nonlocal two-qubit operations," Phys. Rev. A, vol. 67, no. 4, pp. 042313-1-042313-18, Apr. 2003.