Asynchronous Sequential Machines Designed for Fault Detection

A design procedure is presented which allows for detection of faults in asynchronous sequential machines in a real time environment. Faults affecting both the output states and the internal operation of the machine are detected. The class of faults initially considered are single stuck-at-1 and stuck-at-0 faults. However, since the detection system presented is static and continuous, the class of faults detected will be greatly extended to include intermittent and a large number of multiple faults.