Reversible Computing with Fast, Fully Static, Fully Adiabatic CMOS

To advance the energy efficiency of general digital computing far beyond the thermodynamic limits that apply to conventional digital circuits will require utilizing the principles of reversible computing. It has been known since the early 1990s that reversible computing based on adiabatic switching is possible in CMOS, although almost all the "adiabatic" CMOS logic families in the literature are not actually fully adiabatic, which limits their achievable energy savings. The first CMOS logic style achieving truly, fully adiabatic operation if leakage was negligible (CRL) was not fully static, which led to practical engineering difficulties in the presence of certain nonidealities. Later, "static" adiabatic logic families were described, but they were not actually fully adiabatic, or fully static, and were much slower.In this paper, we describe a new logic family, Static 2-Level Adiabatic Logic (S2LAL), which is, to our knowledge, the first CMOS logic family that is both fully static, and truly, fully adiabatic (modulo leakage). In addition, S2LAL is, we think, the fastest possible such family (among fully pipelined sequential circuits), having a latency per logic stage of one tick (transition time), and a minimum clock period (initiation interval) of 8 ticks. S2LAL requires 8 phases of a trapezoidal power-clock waveform (plus constant power and ground references) to be supplied. We argue that, if implemented in a suitable fabrication process designed to aggressively minimize leakage, S2LAL should be capable of demonstrating a greater level of energy efficiency than any other semiconductor-based digital logic family known today.

[1]  Michael P. Frank,et al.  Physical Foundations of Landauer's Principle , 2018, RC.

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

[3]  Nestoras Tzartzanis,et al.  Low-power digital systems based on adiabatic-switching principles , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[4]  J. Storrs,et al.  An Electroid Switching Model for Reversible Computer Architectures , 1993 .

[5]  Thomas F. Knight,et al.  Ultimate theoretical models of nanocomputers , 1998 .

[6]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[7]  Ralph C. Merkle,et al.  Towards Practical Reversible Logic , 1992, Workshop on Physics and Computation.

[8]  Tommaso Toffoli,et al.  Design Principles for Achieving High-Performance Submicron Digital Technologies , 2002, Collision-Based Computing.

[9]  S. Younis,et al.  Practical implementation of charge recovering asymptotically zero power CMOS , 1993 .

[10]  Saed G. Younis,et al.  Asymptotically zero energy computing using split-level charge recovery logic , 1994 .

[11]  J. G. Koller,et al.  Adiabatic Switching, Low Energy Computing, And The Physics Of Storing And Erasing Information , 1992, Workshop on Physics and Computation.

[12]  Huikai Xie,et al.  Driving Fully-Adiabatic Logic Circuits Using Custom High-Q MEMS Resonators , 2004, ESA/VLSI.

[13]  Michael P. Frank,et al.  Foundations of Generalized Reversible Computing , 2017, RC.

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

[15]  Michael P. Frank,et al.  Reversibility for efficient computing , 1999 .

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