Using Crosspoint Faults in Simplifying Toffoli Networks

Reversible logic computing is a rapidly developing research area. The synthesis of reversible logic and finding minimum-cost circuits are very important issues in this area. In this paper, the authors introduce a new method to detect redundancy in a reversible circuit and, by deleting redundant portions; the authors can simplify the circuit. This approach is based on a new fault model, the crosspoint fault, for reversible logic circuits. The authors show that multiple crosspoint faults are useful in synthesizing reversible circuits implemented with Toffoli networks. Experimental results from benchmark circuits show that some of the circuits can be simplified by deleting all pairs of independent multiple crosspoint faults, with the resulting circuit being functionally equivalent to the original