Redundancy identification and removal in combinational logic circuits

The authors present an efficient RI and RR (redundancy identification and removal) method for combinational logic circuits, called RIDAR, which can perform RI by taking advantage of the functional specification and can remove simultaneously more than one redundancy during one RR iteration. Experimental results show that significant savings in literal-count can be obtained for synthesized circuits in small amounts of CPU time. Surprisingly, it is found that a significant reduction in literal-count can be obtained in many cases for combinational circuits even when conventional ATPG (automatic test pattern generation) declares the circuit to be irredundant.>