Model-based fault diagnosis of sequential circuits and its acceleration

Describes an algorithm for the location of faulty components in digital circuits using the model-based approach to circuit fault diagnosis. The model-based approach is first extended to apply to synchronous sequential circuits. Acceleration strategies that exploit domain knowledge particular to digital circuits are then proposed. The effect of these acceleration strategies is a drastic reduction in the execution time of the diagnosis procedure. The effectiveness and performance of the diagnosis algorithm are illustrated through an example for which encouraging results are obtained