Simplification of Toffoli networks via templates

Proceedings - 16th Symposium on Integrated Circuits and Systems Design, SBCCI 2003

Volumn , Issue , 2003, Pages 53-58

  Maslov, D ^a   Dueck, G W ^a   Miller, D M ^b  

^a UNIVERSITY OF NEW BRUNSWICK   (Canada)

^b UNIVERSITY OF VICTORIA   (Canada)

Author keywords

Circuit synthesis; CMOS logic circuits; Computer applications; Computer science; Logic functions; Nanotechnology; Network synthesis; Optical computing; Optical feedback; Quantum computing

Indexed keywords

COMPUTATION THEORY; COMPUTER APPLICATIONS; COMPUTER SCIENCE; FEEDBACK; INTEGRATED CIRCUITS; LOGIC SYNTHESIS; NANOTECHNOLOGY; NETWORKS (CIRCUITS); OPTICAL DATA PROCESSING; OPTICAL FEEDBACK; QUANTUM COMPUTERS; SYNTHESIS (CHEMICAL); SYSTEMS ANALYSIS; TEMPLATE MATCHING;

CIRCUIT SYNTHESIS; CMOS LOGIC CIRCUITS; LOGIC FUNCTIONS; NETWORK SYNTHESIS; QUANTUM COMPUTING;

LOGIC CIRCUITS;

EID: 84945320735     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SBCCI.2003.1232806     Document Type: Conference Paper

References (15)

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. The American Physical Society, 52:3457-3467, 1995.
2. G. W. Dueck and D. Maslov. Reversible function synthesis with minimum garbage outputs. In 6th International Symposium on Representations and Methodology of Future Computing Technologies, pages 154-161, March 2003.
3. R. Feynman. Quantum mechanical computers. Optic News, 11:11-20, 1985.
4. E. Fredkin and T. Toffoli. Conservative logic. International Journal of Theoretical Physics, 21:219-253, 1982.
5. K. Iwama, Y. Kambayashi, and S. Yamashita. Transformation rules for designing CNOT-based quantum circuits. In Design Automation Conference, New Orleans, Louisiana, USA, June 10-14 2002.
6. D. Maslov and G. Dueck. Asymptotically optimal regular synthesis of reversible networks. In International Workshop on Logic Synthesis, pages 226-231, Laguna Beach, CA, 2003.
7. D. Maslov, G. Dueck, and M. Miller. Templates for Toffoli network synthesis. In International Workshop on Logic Synthesis, pages 320-326, Laguna Beach, CA, 2003.
8. D. Maslov and G. W. Dueck. Garbage in reversible design of multiple output functions. In 6th International Symposium on Representations and Methodology of Future Computing Technologies, pages 162-170, March 2003.
9. D. M. Miller and G. W. Dueck. Spectral techniques for reversible logic synthesis. In 6th International Symposium on Representations and Methodology of Future Computing Technologies, March 2003.
10. D. M. Miller, D. Maslov, and G. W. Dueck. A transformation based algorithm for reversible logic synthesis. In Proceedings of the Design Automation Conference, pages 318-323, June 2003.
11. A. Mishchenko and M. Perkowski. Logic synthesis of reversible wave cascades. In International Workshop on Logic Synthesis, June 2002.
12. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
13. V. Shende, A. Prasad, I. Markov, and J. Hayes. Synthesis of reversible logic circuits. IEEE Trans. CAD, 22(6):723-729, June 2003.
14. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes. Reversible logic circuit synthesis. In International Conference on Computer Aided Design, pages 125-132, San Jose, California, USA, Nov 10-14 2002.
15. T. Toffoli. Reversible computing. Tech memo MIT/LCS/TM-151, MIT Lab for Comp. Sci, 1980.