A procedure for the diagnosis of intermittent faults in combinational circuits is suggested. This procedure employs a probabilistic model for intermittent failures and presumes that a detection experiment has been run. The circuit is assumed to be irredundant and to possess a single fault out of n possible ones. The approach suggested is based on the repeated application of tests that test for these faults had their effect been permanent. A subset of the test set is selected and is repeatedly applied until a failure is observed. Similar subexperiments are then run with appropriate test subsets until the highest diagnostic resolution is obtained. The expected length of the diagnosis experiment is guaranteed to be finite. This is shown by proving that the expected length of each subexperiment is finite. The diagnosis experiment can be terminated, when any preset time limit is exceeded, compromising the obtained diagnostic resolution. Local symmetry of the fault table is found to be the necessary and sufficient condition for maximum diagnostic resolution.
[1]
J. Paul Roth,et al.
Diagnosis of automata failures: a calculus and a method
,
1966
.
[2]
Carl V. Page,et al.
Intermittent Faults: A Model and a Detection Procedure
,
1974,
IEEE Transactions on Computers.
[3]
Yao Tung Yen.
Intermittent Failure Problems of Four-Phase MOS Circuits
,
1969
.
[4]
Melvin A. Breuer.
A Random and an Algorithmic Technique for Fault Detection Test Generation for Sequential Circuits
,
1971,
IEEE Transactions on Computers.
[5]
Michael Randolph Garey.
Optimal binary decision trees for diagnostic identification problems
,
1970
.
[6]
G. Metze,et al.
Fault diagnosis of digital systems
,
1970
.