Sequential redundancy identification using recursive learning
Wanlin Cao, Dhiraj K. Pradhan · 1996
A sequential redundancy identification procedure is pre-sented. Based on uncontrollability analysis and recursive learning techniques, this procedure identifies c-cycle re-dundancies in large circuits, without simplifying assump-tions or state transition information. The proposed proce-dure can identify redundant faults which require conflicting assignments on multiple lines. In this sense, it is a gen-eralization of FIRES, a state-of-the-art redundancy iden-tification algorithm. A modification of the proposed pro-cedure is also presented for identifying untestable faults. Experimental results on ISCAS benchmarks demonstrate that these two procedures can efficiently identify a large portion of c-cycle redundant and untestable faults. 1