20th IEEE VLSI Test Symposium
Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits
Monterey, California
April 28-May 02
ISBN: 0-7695-1570-3
We introduce theorems that enable efficient identification of indistinguishable fault pairs in synchronous sequential circuits using an iterative logic array of limited length. These theorems can be used for identifying fault pairs that can be dropped from consideration before diagnostic ATPG starts, thus improving the efficiency of diagnostic ATPG.Experimental results are presented to demonstrate the effectiveness of the proposed theorems, which allow us to identify almost all the indistinguishable fault pairs infinite-state machine benchmarks.
Citation:
M. Enamul Amyeen, Irith Pomeranz, W. Kent Fuchs, "Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits," vts, pp.0181, 20th IEEE VLSI Test Symposium, 2002