CAD

Making the Circular Self-Test Path Technique Effective for Real Circuits

ITC94: IEEE International Test Conference, Washington D. C. (USA), October 1994

KEYWORDS: BDD, BIST, Exact Methods

ABSTRACT

The paper assesses the effectiveness of the Circular Self-Test Path BIST technique from an experimental point of view and proposes an algorithm to overcome the low fault coverage that often arises when real circuits are examined. Several fault simulation experiments have been performed on the ISCAS89 benchmark set, as well as on a set of industrial circuits: in contrast to the theoretical analysis proposed in [PKKa92], a very high Fault Coverage is attained with a limited number of clock cycles, but this happens only when the circuit does not enter a loop. This danger can not be avoided even if clever strategies for Flip-Flops ordering, aimed at reducing the functional adjacency, are adopted. Instead, we suggest that loops can be avoided and fault coverage increased by carefully choosing the initial state, and we present an approach based on Binary Decision Diagrams and Symbolic Techniques to solve the problem.


Related files:
itc94a.pdfAdobe Acrobat portable document
itc94a.ps.gzpostscript document, compressed (with gzip)

Copyright note for papers published by the IEEE Computer Society: Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE.


[CPSe94] F. Corno, P. Prinetto, M. Sonza Reorda, "Making the Circular Self-Test Path Technique Effective for Real Circuits," ITC94: IEEE International Test Conference, Washington D. C. (USA), October 1994