Issue No. 12 - December (1982 vol. 31)
M. Abramovici , Bell Laboratories
In this paper we present a new approach to fault diagnosis in sequential circuits based on an effect?cause analysis. This represents an extension of our previous work dealing with combinational circuits . The main tool of our approach is the Deduction Algorithm, which deduces internal values in the circuit under test based upon the test results. The deduced values are used for fault diagnosis, which encompasses both fault detection and location.
single and multiple stuck faults, Circuit initialization, effect?cause analysis, fault diagnosis, functional and structural equivalence relations, sequential circuits
M. Breuer and M. Abramovici, "Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect?Cause Analysis," in IEEE Transactions on Computers, vol. 31, no. , pp. 1165-1172, 1982.