Fault Detection Experiments for Asynchronous Sequential Machines

A new flow table for describing normal-fundamental-mode (NFM) asynchronous machines, the ADSE table, is introduced. Although the structure of this table has several ramifications in the area of circuit realization, this paper emphasizes its utility in generating checking experiments for NFM asynchronous machines. Using the ADSE table, a procedure is presented that allows existing (or future) methods for constructing synchronous checking experiments to be used directly to obtain the desired asynchronous checking experiment.