# Fault Tolerant Synthesis of Reversible Circuits

@article{Jain2013FaultTS, title={Fault Tolerant Synthesis of Reversible Circuits}, author={Anugrah Jain}, journal={ArXiv}, year={2013}, volume={abs/1310.5231} }

Reversible computing has emerged as a possible low cost alternative to conventional computing in terms of speed, power consumption and computing capability. In order to achieve reliable circuits in reversible computing, provision for fault tolerance is necessary. A number of fault models, fault tolerant techniques (such as parity-preserving) and testing approaches have proposed in literature. This dissertation exploits parity-preserving characteristics of two reversible gates which provide low… Expand

#### Topics from this paper

#### One Citation

Model-based Condition Monitoring of Anti-lock Braking Systems

- Engineering
- 2014

The Anti-lock Braking System (ABS) is one of the most important safety features in modern vehicles. It is a device integrating complicated electronic systems, hydraulic systems and mechanical… Expand

#### References

SHOWING 1-10 OF 39 REFERENCES

A Novel Fault Tolerant Reversible Gate For Nanotechnology Based Systems

- Mathematics
- 2008

This paper proposes a novel reversible logic gate, NFT. It is a parity preserving reversible logic gate, that is, the parity of the outputs matches that of the inputs. We demonstrate that the NFT… Expand

Fault testing for reversible circuits

- Computer Science, Mathematics
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- 2004

It is shown that any test set that detects all single stuck-at faults in a reversible circuit also detects all multiple stuck- at faults, and a practical test-set generation algorithm is given, based on an integer linear programming formulation, that yields test sets approximately half the size of those produced by conventional automatic test pattern generation. Expand

Fault-Tolerant Reversible Circuits

- Computer Science
- 2006 Fortieth Asilomar Conference on Signals, Systems and Computers
- 2006

A class of reversible logic gates is introduced (consisting of the well-known Fredkin gate and a newly defined Feynman double-gate) for which the parity of the outputs matches that of the inputs that allow any fault that affects no more than a single logic signal to be detectable at the circuit's primary outputs. Expand

Testing for missing-gate faults in reversible circuits

- Engineering, Computer Science
- 13th Asian Test Symposium
- 2004

A new fault model, the missing gate fault (MGF) model, is proposed to better represent the physical failure modes of quantum technologies and it is shown that MGFs are highly testable, and that all M GFs in an N-gate k-CNOT circuit can be detected with from one to [N/2] test vectors. Expand

On the Detection of Missing-Gate Faults in Reversible Circuits by a Universal Test Set

- Engineering, Computer Science
- 21st International Conference on VLSI Design (VLSID 2008)
- 2008

It is shown that in an (n times n) reversible circuit implemented with k-CNOT gates, addition of only one extra control line along with duplication each k- CNOT gate yields an easily testable design, which admits a universal test set of size (n +1) that detects all SMGFs, R GFs, and PMGFs in the circuit. Expand

Designing Efficient Online Testable Reversible Adders With New Reversible Gate

- Computer Science, Mathematics
- 2007 IEEE International Symposium on Circuits and Systems
- 2007

A new 4 times 4 reversible gate termed `OTG' (online testable gate) is proposed suitable for online testability in reversible logic circuits and is shown better than the recently proposed R1 gate, in terms of computation complexity. Expand

Reversible-logic design with online testability

- Mathematics, Computer Science
- IEEE Transactions on Instrumentation and Measurement
- 2006

This paper proposes three new reversible logic gates; two of the proposed gates can be employed to design online testable reversible logic circuits and can be used to implement any Boolean logic function. Expand

Synthesis of reversible logic circuits

- Computer Science
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- 2003

In an application important to quantum computing, the synthesis of oracle circuits for Grover's search algorithm are synthesized, and a significant improvement over a previously proposed synthesis algorithm is shown. Expand

BDD-based synthesis of reversible logic for large functions

- Computer Science, Mathematics
- 2009 46th ACM/IEEE Design Automation Conference
- 2009

This paper presents a technique to derive reversible circuits for a function given by a binary decision diagram (BDD), and shows better results and a significantly better scalability in comparison to previous synthesis approaches. Expand

Online fault testing of reversible logic using dual rail coding

- Computer Science
- 2010 IEEE 16th International On-Line Testing Symposium
- 2010

A set of novel dual rail reversible logic gates for online testable reversible logic design that detects 100% of single faults while reducing the area and the number of garbage outputs up to 6.4X and 4.6X, compared to previously proposed techniques, respectively. Expand