Toffoli network synthesis with templates

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

Volumn 24, Issue 6, 2005, Pages 807-817

  Maslov, Dmitri ^a   Dueck, Gerhard W ^b   Miller, D M ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF NEW BRUNSWICK   (Canada)

Author keywords

Logic synthesis; Quantum computing; Reversible logic

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTER SOFTWARE; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; QUANTUM THEORY;

BIDIRECTIONAL SYNTHESIS ALGORITHMS; QUANTUM COMPUTING; REVERSIBLE LOGIC; TOFFOLI NETWORK SYNTHESIS;

LOGIC GATES;

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

References (18)

1. 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," Amer. Phys. Soc., vol. 52, pp. 3457-3467, 1995.
2. G. W. Dueck and D. Maslov, "Reversible function synthesis with minimum garbage outputs," in Proc. 6th Int. Symp. Represent. Methodol. Future Comput. Technol., Mar. 2003, pp. 154-161.
3. R. Feynman, "Quantum mechanical computers," Opt. News, vol. 11, pp. 11-20, 1985.
4. E. Fredkin and T. Toffoli, "Conservative logic," Int. J. Theoret. Phys., vol. 21, pp. 219-253, 1982.
5. K. Iwama, Y. Kambayashi, and S. Yamashita, "Transformation rules for designing CNOT-based quantum circuits," in Proc. Design Automation Conf., New Orleans, LA, Jun. 10-14, 2002.
6. D. Maslov, "Reversible logic synthesis," Ph.D. dissertation, University of New Brunswick, Fredericton, Canada, 2003.
7. D. Maslov and G. Dueck, "Asymptotically optimal regular synthesis of reversible networks," in Proc. Int. Workshop Logic Synthesis, Laguna Beach, CA, 2003, pp. 226-231.
8. _, "Improved quantum cost for n-bit Toffoli gates," IEE Electron. Lett., vol. 39, no. 25, pp. 1790-1791, 2003.
9. D. Maslov, G. Dueck, and M. Miller, "Simplification of Toffoli networks via templates," in Proc. Symp. Integr. Circuits Syst. Design, Sep. 2003, pp. 53-58.
10. D. Maslov and G. W. Dueck, "Garbage in reversible design of multiple output functions," in Proc. 6th Int. Symp. Represent. Methodol. Future Comput. Technol., Mar. 2003, pp. 162-170.
11. D. M. Miller and G. W. Dueck, "Spectral techniques for reversible logic synthesis," in Proc. 6th Int. Symp. Represent. Methodol. Future Comput. Technol., Mar. 2003, pp. 56-62.
12. D. M. Miller, D. Maslov, and G. W. Dueck, "A transformation based algorithm for reversible logic synthesis," in Proc. Design Automation Conf., Jun. 2003, pp. 318-323.
13. A. Mishchenko and M. Perkowski, "Logic synthesis of reversible wave cascades," in Proc. Int. Workshop Logic Synthesis, Jun. 2002, pp. 197-202.
14. M. Nielsen and I. Chuang, Quantum Computation and Quantum Information. Cambridge, U.K.: Cambridge Univ. Press, 2000.
15. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, "Reversible logic circuit synthesis," in Proc. Int. Conf. Computer-Aided Design, San Jose, CA, Nov. 10-14, 2002, pp. 125-132.
16. _, "Synthesis of reversible logic circuits," IEEE Trans. Computer-Aided Design Integr. Circuits Syst., vol. 22, no. 6, pp. 723-729, Jun. 2003.
17. T. Toffoli, "Reversible Computing," MIT Lab for Comp. Sci., Tech Memo MIT/LCS/TM-151, 1980.
18. I. I. Zhegalkin, "The technique of calculation of statements in symbolic logic" (in Russian), Matematichesky Sbornic, vol. 34, pp. 9-28, 1927.