On Redundancy and Fault Detection in Sequential Circuits

Abstract

In this correspondence we show that the well-known concepts of redundancy and undetectability of a stuck-at fault, which are equivalent in combinational circuits, are not equivalent in sequential circuits. We also show that some faults in sequential circuits, which are undetectable (by "conventional" methods of testing), are detectable by transition count testing methods.