Keywords :
Asynchronous sequential machines, fault detection, self-checking circuits, self-testing circuits, sequential machines.; Circuit faults; Covariance matrix; Digital systems; Discrete cosine transforms; Eigenvalues and eigenfunctions; Electrical fault detection; Equations; Fault detection; Karhunen-Loeve transforms; Notice of Violation; Asynchronous sequential machines, fault detection, self-checking circuits, self-testing circuits, sequential machines.;