Multiple Fault Analysis in Synchronous Sequential Circuits by Means of Vector Boolean Difference

摘要

The Boolean difference is an elegant mathematical concept which has found significant application in the study of single faults of a stuck-at nature in combinational logic circuits. Recently, several authors have extended this technique to the analysis of multiple faults in combinational circuits. The concept of vector Boolean difference is further extended to the analysis of multiple stuck-at faults in synchronous sequential circuits. (ERA citation 03:043481)