The advantage to " one test at a time " fault diagnosis is its ability to implicate the components of complicated defect behaviors. The disadvantage is the large size and opacity of the diagnostic answer. In this paper, we address the problems of pertest fault diagnosis by improving the candidate matching, introducing scoring and ranking techniques, and by… (More)
This article describes the Boolean satissability method for generating test patterns for single stuck-at faults in combinational circuits. This new method generates test patterns in two steps: First, it constructs a formula expressing the Boolean diierence between the unfaulted and faulted circuits. Second, it applies a Boolean satissability algorithm to… (More)
abstract Two approaches have been used to balance the cost of generating eeective tests for ICs and the need to increase the ICs' quality level. The rst approach favors using high-level fault models to reduce test generation costs at the expense of test quality, and the second approach favors the use of low-level, technology-speciic fault models to increase… (More)
This paper presents a sequential test generation method based on Boolean satissability. The method produces near-minimal test sizes. We discuss the ex-ibility provided by Boolean satissability to extend the fault model to realistic faults. Experimental results using ISCAS-89 benchmark circuits and comparisons with previously published results are presented.
We present a new fault simulation algorithm for realistic break faults in the p-networks and n-networks of static CMOS cells. We show that Miller effects can invalidate a test just as charge sharing can, and we present a new charge-based approach that efficiently and accurately predicts the worst case effects of Miller capacitances and charge sharing… (More)
abstract This paper presents empirical evidence of a satissability threshold in random 3CNF formulas. The paper also expands on and supports the conjecture of Mitchell, Selman, and Levesque 13] that hard randomly generated CNF formulas will be hard for any reasonable satissability algorithm. We report statistics for a much larger set of variables than have… (More)
Diagnostic fault simulation can generate enormous amounts of data. The techniques used to manage this data can have signiicant eeect on the outcome of the fault diagnosis procedure. We rst demonstrate that if information is removed from a fault dictionary, its ability to diagnose unmodeled faults may be severely curtailed even if dictionary quality metrics… (More)