This paper presents two new algorithms, Redundant Vector Elimination(RVE) and Essential Fault Reduction (EFR), for generating compact test sets for combinational circuits under the single stuck at fault model, and a new heuristic for estimating the minimum single stuck at fault test set size. These algorithms together with the dynamic compaction algorithm are incorporated into an advanced ATPG system for combinationalcircuits, called MinTest. MinTest found better lower bounds and generated smaller test sets than the previously publishedresults for the ISCAS85 and fullscan version of the ISCAS89 benchmark circuits.
Ilker Hamzaoglu, Janak H. Patel