Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs

Reversible logic has shown potential to have extensive applications in emerging technologies such as quantum computing, optical computing, quantum dot cellular automata as well as ultra low power VLSI circuits. Recently, several researchers have focused their efforts on the design and synthesis of efficient reversible logic circuits. In these works, the primary design focus has been on optimizing the number of reversible gates and the garbage outputs. The number of reversible gates is not a good metric of optimization as each reversible gate is of different type and computational complexity, and thus will have a different quantum cost and delay. The computational complexity of a reversible gate can be represented by its quantum cost. Further, delay constitutes an important metric, which has not been addressed in prior works on reversible sequential circuits as a design metric to be optimized. In this work, we present novel designs of reversible sequential circuits that are optimized in terms of quantum cost, delay and the garbage outputs. The optimized designs of several reversible sequential circuits are presented including the D Latch, the JK latch, the T latch and the SR latch, and their corresponding reversible master-slave flip-flop designs. The proposed master-slave flip-flop designs have the special property that they don't require the inversion of the clock for use in the slave latch. Further, we introduce a novel strategy of cascading a Fredkin gate at the outputs of a reversible latch to realize the designs of the Fredkin gate based asynchronous set/reset D latch and the master-slave D flip-flop. Finally, as an example of complex reversible sequential circuits, the reversible logic design of the universal shift register is introduced. The proposed reversible sequential designs were verified through simulations using Verilog HDL and simulation results are presented.

[1]  Mark Zwolinski,et al.  Reversible Logic to Cryptographic Hardware: A New Paradigm , 2006, 2006 49th IEEE International Midwest Symposium on Circuits and Systems.

[2]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[4]  Steven M. Nowick,et al.  ACM Journal on Emerging Technologies in Computing Systems , 2010, TODE.

[5]  Keivan Navi,et al.  Design of a Novel Reversible Multiplier Circuit Using HNG Gate in Nanotechnology , 2008 .

[6]  Barenco,et al.  Quantum networks for elementary arithmetic operations. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[7]  A. Prasad Vinod,et al.  Design of Reversible Sequential Elements With Feasibility of Transistor Implementation , 2007, 2007 IEEE International Symposium on Circuits and Systems.

[8]  Wolfgang Henseler,et al.  Digital Design , 2003 .

[9]  Chun-Yao Wang,et al.  Synthesis of Reversible Sequential Elements , 2007, 2007 Asia and South Pacific Design Automation Conference.

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

[11]  Anirban Pathak,et al.  On the Synthesis of Sequential Reversible Circuit , 2007, 0707.4233.

[12]  E. Knill,et al.  A scheme for efficient quantum computation with linear optics , 2001, Nature.

[13]  Alexis De Vos,et al.  Power Consumption in Reversible Logic Addressed by a Ramp Voltage , 2005, PATMOS.

[14]  D. M. Miller,et al.  Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis , 2005, quant-ph/0511008.

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

[16]  Michael P. Frank,et al.  Introduction to reversible computing: motivation, progress, and challenges , 2005, CF '05.

[17]  V. Kamakoti,et al.  Efficient Building Blocks for Reversible Sequential Circuit Design , 2006, 2006 49th IEEE International Midwest Symposium on Circuits and Systems.

[18]  Guowu Yang,et al.  Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[19]  Jacqueline E. Rice,et al.  An Introduction to Reversible Latches , 2008, Comput. J..

[20]  Robert Glück,et al.  Optimized reversible binary-coded decimal adders , 2008, J. Syst. Archit..

[21]  DiVincenzo,et al.  Five two-bit quantum gates are sufficient to implement the quantum Fredkin gate. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[22]  Kenichi Morita,et al.  Reversible computing and cellular automata - A survey , 2008, Theor. Comput. Sci..

[23]  Robert Wille,et al.  Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[24]  Majid Mohammadi,et al.  On figures of merit in reversible and quantum logic designs , 2009, Quantum Inf. Process..

[25]  H. Thapliyal,et al.  A beginning in the reversible logic synthesis of sequential circuits , 2005 .

[26]  Michael P. Frank,et al.  Approaching the physical limits of computing , 2005, 35th International Symposium on Multiple-Valued Logic (ISMVL'05).

[27]  Guowu Yang,et al.  Bi-Directional Synthesis of 4-Bit Reversible Circuits , 2008, Comput. J..

[28]  Ashis Kumer Biswas,et al.  Efficient approaches for designing reversible Binary Coded Decimal adders , 2008, Microelectron. J..

[29]  Mitchell A. Thornton,et al.  Efficient adder circuits based on a conservative reversible logic gate , 2002, Proceedings IEEE Computer Society Annual Symposium on VLSI. New Paradigms for VLSI Systems Design. ISVLSI 2002.

[30]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[31]  Hamid R. Arabnia,et al.  Efficient Reversible Logic Design of BCD Subtractors , 2009, Trans. Comput. Sci..

[32]  Gerhard W. Dueck,et al.  Reversible cascades with minimal garbage , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[34]  Jing Huang,et al.  Reversible Gates and Testability of One Dimensional Arrays of Molecular QCA , 2008, J. Electron. Test..

[35]  Jacqueline E. Rice,et al.  A new look at reversible memory elements , 2006, 2006 IEEE International Symposium on Circuits and Systems.

[36]  Niraj K. Jha,et al.  An Algorithm for Synthesis of Reversible Logic Circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[37]  Robert Wille,et al.  Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[38]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.