On the diagnostic properties of linear feedback shift registers

The authors study the relation between the length of the linear feedback shift register (LFSR), the size of the circuit (which defines the size of the fault list), and the quality of diagnostic resolution. They present an analytical model that is used to obtain a simple formula determining the fraction of faults that are uniquely diagnosed for a given circuit size and the LFSR length. The model is verified through extensive experiments on benchmark circuits.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>