A transformation based algorithm for reversible logic synthesis

Proceedings - Design Automation Conference

Volumn , Issue , 2003, Pages 318-323

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

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF NEW BRUNSWICK   (Canada)

Author keywords

Minimization; Quantum Circuits; Reversible Logic; Templates

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CMOS INTEGRATED CIRCUITS; COMBINATORIAL CIRCUITS; NANOTECHNOLOGY; OPTICAL DATA PROCESSING;

REVERSIBLE LOGIC;

LOGIC DESIGN;

EID: 0043136670     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/775832.775915     Document Type: Conference Paper

References (19)

1. C. Bennett. Logical reversibility of computation. I.B.M. J. Res. Dev., 17:525-532, 1973.
2. J. W. Bruce, M. A. Thornton, L. Shivakumaraiah, P. S. Kokate, and X. Li. Effiient adder circuits based on a conservative reversible logic gate. In IEEE Symposium on VLSI, pages 83-88, April 2002.
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 Proceedings of the Design Automation Conference, New Orleans, Louisiana, USA, June 10-14 2002.
6. A. Khlopotine, M. Perkowski, and P. Kerntopf. Reversible logic synthesis by iterative compositions. International Workshop on Logic Synthesis, 2002.
7. E. Knill, R. Laflamme, and G. J. Milburn. A scheme for efficient quantum computation with linear optics. Nature, pages 46-52, Jan. 2001.
8. R. Landauer. Irreversibility and heat generation in the computing process. IBM J. Res., 5:183-191, 1961.
9. 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.
10. R. C. Merkle. Two types of mechanical reversible logic. Nanotechnology, 4:114-131, 1993.
11. D. M. Miller. Spectral and two-place decomposition techniques in reversible logic. In Midwest Symposium on Circuits and Systems, Aug. 2002.
12. 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.
13. A. Mishchenko and M. Perkowski. Logic synthesis of reversible wave cascades. In International Workshop on Logic Synthesis, June 2002.
14. M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
15. M. Perkowski and et al. A hierarchical approach to computer-aided design of quantum circuits. Preprint, 2002.
16. M. Perkowski, P. Kerntopf, A. Buller, M. Chrzanowska-Jeske, A. Mishchenko, X. Song, A. Al-Rabadi, L. Joswiak, A. Coppola, and B. Massey. Regularity and symmetry as a base for efficient realization of reversible logic circuits. In International Workshop on Logic Synthesis, 2001.
17. G. Schrom. Ultra-Low-Power CMOS Technology. PhD thesis, Technischen Universität Wien, June 1998.
18. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes. Reversible logic circuit synthesis. In ICCAD, pages 125-132, San Jose, California, USA, Nov 10-14 2002.
19. T. Toffoli. Reversible computing. Tech memo MIT/LCS/TM-151, MIT Lab for Comp. Sci, 1980.