Synthesis of Majority/Minority Logic Networks

As CMOS technology reaches its physical limits, new technologies such as quantum-dot cellular automata, single electron tunneling, and tunneling-phase logic are being proposed as alternatives to CMOS technology. These technologies use either majority or minority logic to implement logic functions. Existing majority/minority logic synthesis methods, based on three-feasible networks, often result in suboptimal solutions. In this paper, an efficient algorithm to find the minimal majority gate mapping, along with a majority expression look-up table (MLUT) is developed. Based on the MLUT, a comprehensive majority/minority logic synthesis technique is proposed. A redundancy removal method is also developed to further optimize the synthesized circuit. This technique makes effort toward achieving different optimization goals and results in fewer majority gates and fewer levels than previous methods. For the 29 MCNC benchmark circuits, when targeted to optimize the logic levels, there is an average reduction of 7.0% in the number of levels as well as 6.3% in the number of gates. For optimization targeted to reduce gate counts, there is an average reduction of 9.5% in the number of gates as well as 0.8% in the number of levels, as compared to the best available method.

[1]  G. Tóth Correlation and coherence in quantum-dot cellular automata , 2000 .

[2]  Vassil S. Dimitrov,et al.  Computer arithmetic structures for quantum cellular automata , 2003, The Thrity-Seventh Asilomar Conference on Signals, Systems & Computers, 2003.

[3]  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).

[4]  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..

[5]  Suresh Rai,et al.  Majority Gate Based Design for Combinational Quantum Cellular Automata (QCA) Circuits , 2008, 2008 40th Southeastern Symposium on System Theory (SSST).

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

[7]  K. Navi,et al.  Logic Optimization for Majority Gate-Based Nanoelectronic Circuits Based on Genetic Algorithm , 2007, 2007 International Conference on Electrical Engineering.

[8]  W. Porod,et al.  Quantum-dot cellular automata , 1999 .

[9]  Snider,et al.  Digital logic gate using quantum-Dot cellular automata , 1999, Science.

[10]  Edward J. McCluskey,et al.  Pseudo-exhaustive test and segmentation: formal definitions and extended fault coverage results , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

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

[12]  Tetsuya Asai,et al.  A majority-logic nanodevice using a balanced pair of single-electron boxes. , 2002, Journal of nanoscience and nanotechnology.

[13]  Qishan Zhang,et al.  Logic optimization for majority gate-based nanoelectronic circuits , 2006, 2006 IEEE International Symposium on Circuits and Systems.

[14]  Rui Zhang,et al.  Majority and Minority Network Synthesis With Application to QCA-, SET-, and TPL-Based Nanotechnologies , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[15]  H. S. Miller,et al.  Majority-Logic Synthesis by Geometric Methods , 1962, IRE Trans. Electron. Comput..

[16]  W. Porod,et al.  Quantum-dot cellular automata , 1999 .

[17]  Sheldon B. Akers,et al.  Synthesis of combinational logic using three-input majority gates , 1962, SWCT.

[18]  P. R. Stephan,et al.  SIS : A System for Sequential Circuit Synthesis , 1992 .

[19]  Peng Wang,et al.  Minimal majority gate mapping of 4-variable functions for quantum cellular automata , 2011, 2011 11th IEEE International Conference on Nanotechnology.

[20]  Tetsuya Asai,et al.  A majority-logic device using an irreversible single-electron box , 2003 .

[21]  Gary H. Bernstein,et al.  Experimental demonstration of a binary wire for quantum-dot cellular automata , 1999 .

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

[23]  Gary H. Bernstein,et al.  Experimental demonstration of clocked single-electron switching in quantum-dot cellular automata , 2000 .

[24]  Yun Shang,et al.  An Optimized Majority Logic Synthesis Methodology for Quantum-Dot Cellular Automata , 2010, IEEE Transactions on Nanotechnology.