Designing Efficient Online Testable Reversible Adders With New Reversible Gate

Reversible logic is emerging as a promising computing paradigm having its applications in low power VLSI design, quantum computing, nanotechnology and optical computing. In this paper, a new 4 times 4 reversible gate termed `OTG' (online testable gate) is proposed suitable for online testability in reversible logic circuits. OTG can also work singly as a reversible full adder with a bare minimum of two garbage outputs. OTG is shown better than the recently proposed R1 gate (introduced for providing online testability in reversible logic circuits), in terms of computation complexity. The proposed reversible gate is combined with the existing 4 times 4 Feynman gate to design online testable reversible adders such as ripple carry adder, carry skip adder and BCD adder. The efficient reversible design of two pair rail checker is also shown in this paper. The testable reversible circuits proposed in this work are shown to be better than the recently proposed testable designs in terms of number of reversible gates, garbage outputs and unit delay

[1]  P. Oscar Boykin,et al.  Reversible fault-tolerant logic , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

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

[3]  J. Hayes,et al.  Fault testing for reversible circuits , 2003, Proceedings. 21st VLSI Test Symposium, 2003..

[4]  Parag K. Lala,et al.  Reversible-logic design with online testability , 2006, IEEE Transactions on Instrumentation and Measurement.

[5]  John P. Hayes,et al.  Fault testing for reversible circuits , 2004, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

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

[8]  P. K. Lala,et al.  Online testable reversible logic circuit design using NAND blocks , 2004 .

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