Adapting Computer Arithmetic Structures to Sustainable Supercomputing in Low-Power, Majority-Logic Nanotechnologies

Petascale supercomputers are already pushing power boundaries that can be supplied or dissipated cost-effectively; greater challenges await us in the era of exascale machines. We are thus motivated to study methods of reducing the energy cost of arithmetic operations, which can be substantial in numerically intensive applications. Additionally, being both a widely-used operation in itself and an important building block for synthesizing other arithmetic operations, has received much attention in this regard. Circuit and energy costs of fast adders are dominated by their fast carry networks. The availability of simple and energy-efficient majority function in certain emerging nanotechnologies (such as quantum-dot cellular automata, single-electron tunneling, tunneling phase logic, magnetic tunnel junction, nanoscale bar magnets, and memristors) has motivated our work to reformulate the carry recurrence in terms of fully-utilized majority elements, with all three inputs usefully employed. We compare our novel designs and resulting circuits to prior proposals based on 3-input majority elements in quantum-dot cellular automata, demonstrating advantages in both speed and circuit complexity. We also show that the performance and cost advantages carry over to at least one other emerging, energy-efficient technology, single-electron tunneling, raising hopes for achieving similar benefits with other technologies, which we review very briefly.

[1]  E. Swartzlander,et al.  Adder Designs and Analyses for Quantum-Dot Cellular Automata , 2007, IEEE Transactions on Nanotechnology.

[2]  Saket Srivastava,et al.  QCAPro - An error-power estimation tool for QCA circuit design , 2011, 2011 IEEE International Symposium of Circuits and Systems (ISCAS).

[3]  L. Chua Memristor-The missing circuit element , 1971 .

[4]  C. Babbage Passages from the Life of a Philosopher , 1968 .

[5]  K. Sridharan,et al.  Low Complexity Design of Ripple Carry and Brent–Kung Adders in QCA , 2012, IEEE Transactions on Nanotechnology.

[6]  Behrooz Parhami,et al.  Computer arithmetic - algorithms and hardware designs , 1999 .

[7]  Michael Niemier,et al.  Better computing with magnets - The simple bar magnet, shrunk down to the nanoscale, could be a powerful logic device , 2015, IEEE Spectrum.

[8]  G. Jullien,et al.  Circuit design based on majority gates for applications with quantum-dot cellular automata , 2004, Conference Record of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computers, 2004..

[9]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[10]  T. Ohshima,et al.  Operation of bistable phase‐locked single‐electron tunneling logic elements , 1996 .

[11]  Saburo Muroga,et al.  Threshold logic and its applications , 1971 .

[12]  R. Stephenson A and V , 1962, The British journal of ophthalmology.

[13]  Dariush Abedi,et al.  Coplanar QCA serial adder and multiplier via clock-zone based crossover , 2015, 2015 18th CSI International Symposium on Computer Architecture and Digital Systems (CADS).

[14]  Qiang Xu,et al.  Approximate Computing: A Survey , 2016, IEEE Design & Test.

[15]  Hyungsoon Shin,et al.  Magneto-Logic Device Based on a Single-Layer Magnetic Tunnel Junction , 2007, IEEE Transactions on Electron Devices.

[16]  Valeriu Beiu,et al.  VLSI implementations of threshold logic-a comprehensive survey , 2003, IEEE Trans. Neural Networks.

[17]  Yoshihito Amemiya,et al.  Single-Electron Majority Logic Circuits , 1997 .

[18]  Uri C. Weiser,et al.  Memristor-Based Material Implication (IMPLY) Logic: Design Principles and Methodologies , 2014, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[19]  G.A. Jullien,et al.  A method of majority logic reduction for quantum cellular automata , 2004, IEEE Transactions on Nanotechnology.

[20]  Wei Wang,et al.  Quantum-dot cellular automata adders , 2003, 2003 Third IEEE Conference on Nanotechnology, 2003. IEEE-NANO 2003..

[22]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[23]  New Decomposition Theorems on Majority Logic for Low-Delay Adder Designs in Quantum Dot Cellular Automata , 2012, IEEE Transactions on Circuits and Systems II: Express Briefs.

[24]  Stefania Perri,et al.  Area-Delay Efficient Binary Adders in QCA , 2014, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[25]  Behrooz Parhami,et al.  A Formulation of Fast Carry Chains Suitable for Efficient Implementation with Majority Elements , 2016, 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH).

[26]  L. Pileggi,et al.  Novel STT-MTJ Device Enabling All-Metallic Logic Circuits , 2012, IEEE Transactions on Magnetics.

[27]  Jeyavijayan Rajendran,et al.  Leveraging Memristive Systems in the Construction of Digital Logic Circuits , 2012, Proceedings of the IEEE.

[28]  Vikram Pudi,et al.  Efficient Design of a Hybrid Adder in Quantum-Dot Cellular Automata , 2011, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[29]  Hossam A. H. Fahmy,et al.  Complete logic family using tunneling-phase-logic devices , 2000, ICM'99. Proceedings. Eleventh International Conference on Microelectronics (IEEE Cat. No.99EX388).

[30]  Siegfried Selberherr,et al.  SIMON-A simulator for single-electron tunnel devices and circuits , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[31]  David Harris,et al.  A taxonomy of parallel prefix networks , 2003, The Thrity-Seventh Asilomar Conference on Signals, Systems & Computers, 2003.

[32]  M. Razavy,et al.  Quantum Theory of Tunneling , 2003 .

[33]  Yan Liu,et al.  Three-input majority logic gate and multiple input logic circuit based on DNA strand displacement. , 2013, Nano letters.

[34]  K. Sridharan,et al.  Design of Ripple Carry and Prefix Adders in QCA , 2015 .

[35]  P. D. Tougaw,et al.  Logical devices implemented using quantum cellular automata , 1994 .

[36]  Earl E. Swartzlander,et al.  Design of quantum-dot cellular automata circuits using cut-set retiming , 2011, IEEE Transactions on Nanotechnology.

[37]  Earl E. Swartzlander,et al.  A First Step Toward Cost Functions for Quantum-Dot Cellular Automata Designs , 2014, IEEE Transactions on Nanotechnology.

[38]  Earl E. Swartzlander,et al.  Computer arithmetic implemented with QCA: A progress report , 2010, 2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers.

[39]  Milad Sangsefidi,et al.  Coplanar Full Adder in Quantum-Dot Cellular Automata via Clock-Zone-Based Crossover , 2015, IEEE Transactions on Nanotechnology.

[40]  W S McCulloch,et al.  A logical calculus of the ideas immanent in nervous activity , 1990, The Philosophy of Artificial Intelligence.

[41]  Rainer G. Spallek,et al.  Mapping basic prefix computations to fast carry-chain structures , 2009, 2009 International Conference on Field Programmable Logic and Applications.

[42]  Hans-Jürgen Bandelt,et al.  Median algebras , 1983, Discret. Math..

[43]  Michael Niemier,et al.  DESIGNING DIGITAL SYSTEMS IN QUANTUM CELLULAR AUTOMATA , 2000 .

[44]  Supriyo Srimani,et al.  Comparative Analysis of Noise, Power, Delay and Area of Different Full Adders in 45nm Technology , 2014 .