A Mini-MIPS microprocessor for adiabatic computing

This paper examines adiabatic logic for computation, and presents a design for a MIPS processor implemented in CMOS. Adiabatic reversible logic was examined in the 1980s and 1990s but in that era power dissipation was a secondary concern, and the trade-off of reduced computational speed for reduced power was deemed unacceptable. Now, power dissipation and the associated heat are the major obstacles limiting progress in integrated circuits, particularly processors. In modern processors trading performance for reduced power dissipation is already done using techniques such as multi-core and dark silicon, so adiabatic logic may now be an attractive approach. To evaluate the adiabatic approach, this paper uses the figure of merit of the product of switching energy, delay time, and area (EDA). Using this figure of merit, adiabatic logic is shown to be advantageous when additional constraints are considered, such as maximum allowed power density. As a proof of concept circuit, a simplified MIPS microprocessor was designed using adiabatic logic based on split-rail charge recovery logic and Bennett clocking. New design and verification tools were developed using structural Verilog and extensions of ModelSim to provide needed capabilities are not available in commercial packages. The design is implemented using a standard cell design.

[1]  C. Lent,et al.  Experimental Test of Landauer's Principle at the Sub-kBT Level , 2012 .

[2]  L. Szilard über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen , 1929 .

[3]  David Harris,et al.  CMOS VLSI Design: A Circuits and Systems Perspective , 2004 .

[4]  Qin Zhang,et al.  Low-Voltage Tunnel Transistors for Beyond CMOS Logic , 2010, Proceedings of the IEEE.

[5]  K. A. Valiev,et al.  A model and properties of a thermodynamically reversible logic gate , 2000 .

[6]  Neal G. Anderson,et al.  Throughput-dissipation tradeoff in partially reversible nanocomputing: A case study , 2013, 2013 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).

[7]  John D. Norton Waiting for Landauer , 2010 .

[8]  Yuhui Lu,et al.  Bennett clocking of quantum-dot cellular automata and the limits to binary logic scaling , 2006, Nanotechnology.

[9]  P. D. Tougaw,et al.  Bistable saturation in coupled quantum‐dot cells , 1993 .

[10]  Ralph K. Cavin,et al.  Energy barriers, demons, and minimum energy operation of electronic devices (Plenary Paper) , 2005, SPIE International Symposium on Fluctuations and Noise.

[11]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[12]  E. Lutz,et al.  Experimental verification of Landauer’s principle linking information and thermodynamics , 2012, Nature.

[13]  L. Szilard On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings. , 1964, Behavioral science.

[14]  Craig S. Lent,et al.  Fundamental limits of energy dissipation in charge-based computing , 2010 .

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

[16]  Karthikeyan Sankaralingam,et al.  Dark Silicon and the End of Multicore Scaling , 2012, IEEE Micro.

[17]  S. Datta,et al.  Use of negative capacitance to provide voltage amplification for low power nanoscale devices. , 2008, Nano letters.

[18]  P. D. Tougaw,et al.  Lines of interacting quantum‐dot cells: A binary wire , 1993 .

[19]  ROLF LANDAUER Dissipation in computation , 1989, Nature.

[20]  Natalie A. Wasio,et al.  Synthesis of a Neutral Mixed-Valence Diferrocenyl Carborane for Molecular Quantum-Dot Cellular Automata Applications. , 2015, Angewandte Chemie.

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