Loading [a11y]/accessibility-menu.js
Diagnosing scan chains using SAT-based diagnostic pattern generation | IEEE Conference Publication | IEEE Xplore

Diagnosing scan chains using SAT-based diagnostic pattern generation


Abstract:

This paper presents a new diagnosis method for locating stuck-at and timing faults in the scan chains. Generating diagnostic patterns for locating the faulty scan cell is...Show More

Abstract:

This paper presents a new diagnosis method for locating stuck-at and timing faults in the scan chains. Generating diagnostic patterns for locating the faulty scan cell is formulated as a Boolean Satisfiability (SAT) problem so that any state-of-the-art SAT solvers can be directly employed for diagnostic test generation. Several modeling techniques are introduced to facilitate the task. Experimental results show that the proposed approach can very precisely locate the faulty scan cell for almost all benchmark circuits with which we have experimented. In comparison with the existing approaches, the proposed method achieves better diagnosis resolution.
Date of Conference: 26-29 September 2007
Date Added to IEEE Xplore: 20 June 2008
ISBN Information:

ISSN Information:

Conference Location: Hsinchu, Taiwan

References

References is not available for this document.