An extension to DNA based Fredkin gate circuits: design of reversible sequential circuits using Fredkin gates

In recent years, reversible logic has emerged as a promising computing paradigm having its applications in low power computing, quantum computing, nanotechnology, optical computing and DNA computing. The classical set of gates such as AND, OR, and EXOR are not reversible. Recently, it has been shown how to encode information in DNA and use DNA amplification to implement Fredkin gates. Furthermore, in the past Fredkin gates have been constructed using DNA, whose outputs are used as inputs for other Fredkin gates. Thus, it can be concluded that arbitrary circuits of Fredkin gates can be constructed using DNA. This paper provides the initial threshold to building of more complex system having reversible sequential circuits and which can execute more complicated operations. The novelty of the paper is the reversible designs of sequential circuits using Fredkin gate. Since, Fredkin gate has already been realized using DNA, it is expected that this work will initiate the building of complex systems using DNA. The reversible circuits designed here are highly optimized in terms of number of gates and garbage outputs. The modularization approach that is synthesizing small circuits and thereafter using them to construct bigger circuits is used for designing the optimal reversible sequential circuits.

[1]  Himanshu Thapliyal,et al.  A New Reversible TSG Gate and Its Application For Designing Efficient Adder Circuits , 2006, ArXiv.

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

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

[4]  David Harlan Wood,et al.  Fredkin gate circuits via recombination enzymes , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).

[5]  M. B. Srinivas,et al.  The need of DNA computing: reversible designs of adders and multipliers using Fredkin gate , 2005, International Symposium on Optomechatronic Technologies.

[6]  Giancarlo Mauri,et al.  Simulating the Fredkin Gate with Energy-Based P Systems , 2004, J. Univers. Comput. Sci..

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

[8]  Himanshu Thapliyal,et al.  A Novel Reversible TSG Gate and Its Application for Designing Reversible Carry Look-Ahead and Other Adder Architectures , 2005, Asia-Pacific Computer Systems Architecture Conference.

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