Design of Reversible Fault Tolerant Programmable Logic Arrays with Vector Orientation

In recent years, reversible logic has emerged as a promising computing paradigm having application in low power CMOS, quantum computing and error detecting. Reversible computing dissipates zero energy in terms of information loss and also it can detect error of circuit by keeping unique input-output mapping. In this paper, we have proposed a regular structure of Reversible Fault Tolerant Programmable Logic Arrays (RFTPLAs) and corresponding algorithms for construction of RFTPLAs. Proposed algorithms can realize ESOP (Exclusive Sum-of-Products) operations in terms of multi-output functions by using minimum numbers of gates, garbage bits and quantum costs. In our design the novel properties of FRG (Fredkin Gate) and F2G (Feynman Double Gate) gates are used for the realization of proposed designs. Finally, we compare the proposed design with existing RPLA.

[1]  B. Parhami,et al.  Fault-Tolerant Reversible Circuits , 2006, 2006 Fortieth Asilomar Conference on Signals, Systems and Computers.

[2]  Larry L. Peterson,et al.  Reasoning about naming systems , 1993, TOPL.

[3]  Leon I. Maissel,et al.  An Introduction to Array Logic , 1975, IBM J. Res. Dev..

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

[5]  R. Feynman Quantum mechanical computers , 1986 .

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

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

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

[9]  Ahsan Raja Chowdhury,et al.  A new approach to synthesize multiple-output functions using reversible programmable logic array , 2006, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06).

[10]  Guowu Yang,et al.  Quantum logic synthesis by symbolic reachability analysis , 2004, Proceedings. 41st Design Automation Conference, 2004..

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

[12]  Tsutomu Sasao EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  Tsutomu Sasao,et al.  Logic Synthesis and Optimization , 1997 .

[14]  Anas N. Al-Rabadi,et al.  Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits , 2001 .