A model and properties of a thermodynamically reversible logic gate

Requirements for a completely reversible (in thermodynamic terms) binary logic gate in which the computing energy returns to the system and is used in subsequent computations are put forward. A set of elements of the reversible gate is considered, and conditions necessary for its operation are formulated. A mechanical and an electronic design of the completely reversible gate, as well as the configurations of reversible logic units of arbitrary complexity, are suggested. Difficulties in implementing a reversible power supply are discussed. Results of computer-aided simulation of CMIS reversible logic devices are presented.

[1]  J. Maxwell,et al.  Theory of Heat , 1892 .

[2]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[3]  R. Landauer,et al.  Minimal energy dissipation in logic , 1970 .

[4]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[5]  Drexler Ke,et al.  Molecular engineering: An approach to the development of general capabilities for molecular manipulation. , 1981, Proceedings of the National Academy of Sciences of the United States of America.

[6]  Charles H. Bennett,et al.  The thermodynamics of computation—a review , 1982 .

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

[8]  Sven Mattisson,et al.  Hot Clock nMOS , 1985 .

[9]  Richard P. Feynman.  2 – Tiny Computers Obeying Quantum Mechanical Laws , 1987 .

[10]  Rolf Landauer,et al.  Dissipation and noise immunity in computation and communication , 1988, Nature.

[11]  Charles H. Bennett.  Time/Space Trade-Offs for Reversible Computation , 1989, SIAM J. Comput..

[12]  R. Landauer.  Information is physical , 1991 .

[13]  W. H. Zurek,et al.  Maxwell''s Demon, Rectifiers, and the Second Law: Computer Simulation of Smoluchowski''s Trapdoor , 1991, cond-mat/0402665.

[14]  T. D. Schneider,et al.  Sequence logos, machine/channel capacity, Maxwell's demon, and molecular computers: a review of the theory of molecular machines , 1994 .

[15]  William C. Athas,et al.  An energy-efficient CMOS line driver using adiabatic switching , 1994, Proceedings of 4th Great Lakes Symposium on VLSI.

[16]  John Stewart Denker,et al.  Adiabatic dynamic logic , 1995 .

[17]  Neil Gershenfeld,et al.  Signal Entropy and the Thermodynamics of Computation , 1996, IBM Syst. J..

[18]  Walter Bender,et al.  Salient Stills: Process and Practice , 1996, IBM Syst. J..

[19]  Charles H. Bennett.  Notes on the history of reversible computation , 2000, IBM J. Res. Dev..