Reversible computing: from mathematical group theory to electronical circuit experiment

Reversible logic gates of a certain logic width w form a group (isomorphic to the symmetric group of order (2 w )!). Study of the subgroups of this group both teaches us a lot about properties of reversible gates and guides us to synthesize particular circuits. After design, circuits are implemented in prototype silicon chips.

[1]  Alexis De Vos.  Introduction to r-MOS systems , 1996 .

[2]  Alexis De Vos,et al.  Power Consumption in Reversible Logic Addressed by a Ramp Voltage , 2005, PATMOS.

[3]  Jeffrey D. Ullman,et al.  The compilation of regular expressions into integrated circuits , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[4]  Erik Forsberg,et al.  Reversible logic based on electron waveguide Y-branch switches , 2004 .

[5]  Leo Storme,et al.  Group Theoretical Aspects of Reversible Logic Gates , 1999, J. Univers. Comput. Sci..

[6]  Alexis De Vos,et al.  Optimal Design of a Reversible Full Adder , 2005, Int. J. Unconv. Comput..

[7]  Birger Raa,et al.  INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND GENERAL J. Phys. A: Math. Gen. 35 (2002) 7063–7078 PII: S0305-4470(02)34943-6 Generating the group of reversible logic gates , 2022 .

[8]  Alexis De Vos,et al.  A reversible carry-look-ahead adder using control gates , 2002, Integr..

[9]  J. Rhodes,et al.  Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines , 1965 .

[10]  S. Lloyd.  Quantum-Mechanical Computers , 1995 .

[11]  T. Toffoli,et al.  Conservative logic , 2002, Collision-Based Computing.

[12]  J. A. NossekInstitute.  Is There a Connection between Adiabatic Switching and Reversible Computing? , 1997 .

[13]  Gerhard W. Dueck,et al.  Reversible cascades with minimal garbage , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Michael P. Frank.  Common Mistakes in Adiabatic Logic Design and How to Avoid Them , 2003, Embedded Systems and Applications.

[16]  Pawel Kerntopf,et al.  A new heuristic algorithm for reversible logic synthesis , 2004, Proceedings. 41st Design Automation Conference, 2004..

[17]  Niraj K. Jha,et al.  Synthesis of reversible logic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[18]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[19]  Leo Storme,et al.  r-Universal reversible logic gates , 2004 .

[20]  M. Dal Cin,et al.  The Algebraic Theory of Automata , 1980 .

[21]  Alexis De Vos,et al.  Feynman's reversible logic gates, implemented in silicon. , 1999 .

[22]  Leo Storme,et al.  Implementing an arbitrary reversible logic gate , 2005 .

[23]  Igor L. Markov.  An Introduction to Reversible Circuits , .