Implementing an arbitrary reversible logic gate

Journal of Physics A: Mathematical and General

Volumn 38, Issue 16, 2005, Pages 3555-3577

  Van Rentergem, Yvan ^a   De Vos, Alexis ^a   Storme, Leo ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 24344431626     PISSN: 03054470     EISSN: None     Source Type: Journal    
DOI: 10.1088/0305-4470/38/16/007     Document Type: Review

References (32)

1. Markov I 2003 An introduction to reversible circuits Proc. Int. Workshop on Logic and Synthesis (Laguna Beach, May 2003) pp 318-9
2. Landauer R 1961 Irreversibility and heat generation in the computing process IBM J. Res. Dev. 5 183-91
3. Bennett C 1982 The thermodynamics of computation - a review Int. J. Theor. Phys. 21 905-40
4. Bennett C and Landauer R 1985 The fundamental physical limits of computation Sci. Am. 253 38-46
5. Bennett C 1988 Notes on the history of reversible computation IBM J. Res. Dev. 32 16-23
6. Wayner P 1994 Silicon in reverse Byte 19 67-74
7. De Vos A 2003 Lossless computing Proc. IEEE Workshop on Signal Processing (Poznań, Oct 2003) pp 7-14
8. Feynman R 1985 Quantum mechanical computers Opt. News 11 11-20
9. Feynman R 1996 Feynman Lectures on Computation ed A Hey and R Allen (Reading: Addison-Wesley)
10. Berman G, Doolen G, Mainieri R and Tsifrinovich V 1998 Introduction to Quantum Computers (Singapore: World Scientific)
11. Nielsen M and Chuang I 2000 Quantum Computation and Quantum Information (Cambridge: Cambridge University Press)
12. Shende V, Prasad A, Markov I and Hayes J 2003 Synthesis of reversible logic circuits IEEE Trans. Comput.-aided Design Integr. Circuits Syst. 22 710-22
13. Athas W, Svensson L, Koller J, Tzartzanis N and Chou E 1994 Low-power digital systems based on adiabatic-switching principles IEEE Trans. Very Large Scale Integr. Syst. 2 398-407
14. Storme L, De Vos A and Jacobs G 1999 Group theoretical aspects of reversible logic gates J. Univ. Comput. Sci. 5307-21
15. De Vos A, Raa B and Storme L 2002 Generating the group of reversible logic gates J. Phys A: Math. Gen. 35 7063-78
16. Desoete B and De Vos A 2002 A reversible carry-look-ahead adder using control gates Integr. the VLSI J. 33 89-104
17. Liebeck M, Praeger C and Saxl J 1987 A classification of the maximal subgroups of the finite alternating and symmetric groups J. Algebra 111 365-83
18. Devadas S, Ghosh A and Keutzer K 1994 Logic Synthesis (New York: McGraw-Hill)
19. Schönert M 1992 GAP Comput. Algebra Nederland Nieuwsbrief 9 19-28
20. http://www-gap.dcs.st-and.ac.uk/~gap
21. Miller D, Maslov D and Dueck G 2003 A transformation based algorithm for reversible logic synthesis Proc. 40th Design Automation Conference (Annaheim, June 2003) pp 318-23
22. Shende V, Prasad A, Markov I and Hayes J 2002 Synthesis of optimal reversible logic circuits Proc. Int. Workshop on Logic and Synthesis (New Orleans, June 2002) pp 125-30
23. Shende V, Prasad A, Markov I and Hayes J 2002 Reversible logic circuit synthesis Proc. Int. Conf. on Computer-Aided Design (San Jose, Nov. 2002) pp 353-60
24. Dueck G and Maslov D 2003 Reversible function synthesis with minimum garbage outputs Proc. 6th Int. Symp. on Representation and Methodology of Future Computing Technologies (Trier, March 2003) 154-61
25. Maslen D and Rockmore D 2000 Double coset decompositions and computational harmonic analysis on groups J. Fourier Anal. Appl. 6 349-88
26. Fredkin E and Toffoli T 1982 Conservative logic Int. J. Theor. Phys. 21 219-53
27. Maslov D and Dueck G 2004 Reversible cascades with minimal garbage IEEE Trans. Comput.-aided Design Integr Circuits Syst. 23 1497-509
28. Maitra K 1962 Cascaded switching networks of two-input flexible cells IRE Trans. Electron. Comput. 11 136-43
29. Sarabi A, Song N, Chrzanowska-Jeske M and Perkowski M 1994 A comprehensible approach to logic synthesis and physical design for two-dimensional logic arrays Proc. Design Automation Conference 94 (San Diego, June 1994) pp 321-6
30. Lee G 1997 Logic synthesis for cellular architecture FPGA using BDD Proc. Asia and South Pacific Design Automation Conference 97 (Chiba, Jan. 1997) pp 253-8
31. Mishchenko A and Perkowski M 2002 Logic synthesis of reversible wave cascades Proc. Int. Workshop on Logic and Synthesis (New Orleans, June 2002) pp 197-202
32. Gradshteyn I and Ryzhik I 1994 Table of Integrals, Series, and Products 5th edn (Boston: Academic)