Two procedures are presented for generating fault detection test sequences for large sequential circuits. In the adaptive random procedure one can achieve a tradeoff between test generation time, length, and percent of circuit tested. An algorithmic path-sensitizing procedure is also presented. Both procedures employ a three-valued logic system. Some experimental results are given.
Published in:
Computers, IEEE Transactions on
(Volume:C-20
,
Issue:
11
)
Date of Publication: Nov. 1971