TY - GEN
T1 - Design for easily applying test vectors to improve delay fault coverage
AU - Sha, Edwin Hsing Mean
AU - Chao, Liang Fang
PY - 1992
Y1 - 1992
N2 - It has been noted that arbitrary test pairs (v1, v2) cannot be applied to a combinational pair of a finite state machine using standard scan path design. The scan path design is a special case of test machines which are designed to control and observe the object machine for detecting faults. By studying state transition graphs, the authors propose a general framework, which is composed of two stages, to solve this problem. Given a set of test pairs and a set of test machines, the first stage is to select a test machine which has the maximum delay fault coverage. If the fault coverage is not satisfactory, two approaches are proposed at the second stage. It is shown that these two optimization problems in the second stage are both NP-hard. Three algorithms are designed to solve these problems.
AB - It has been noted that arbitrary test pairs (v1, v2) cannot be applied to a combinational pair of a finite state machine using standard scan path design. The scan path design is a special case of test machines which are designed to control and observe the object machine for detecting faults. By studying state transition graphs, the authors propose a general framework, which is composed of two stages, to solve this problem. Given a set of test pairs and a set of test machines, the first stage is to select a test machine which has the maximum delay fault coverage. If the fault coverage is not satisfactory, two approaches are proposed at the second stage. It is shown that these two optimization problems in the second stage are both NP-hard. Three algorithms are designed to solve these problems.
UR - https://www.scopus.com/pages/publications/0027087876
M3 - 会议稿件
AN - SCOPUS:0027087876
SN - 0818621575
T3 - 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers
SP - 500
EP - 503
BT - 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers
PB - Publ by IEEE
T2 - 1991 IEEE International Conference on Computer-Aided Design - ICCAD-91
Y2 - 11 November 1991 through 14 November 1991
ER -