Abstract
We describe three parameters of output sequences of synchronous sequential circuits that can be used for fault diagnosis of such circuits. These parameters can replace the use of complete or partial output sequences for diagnosis. We investigate the diagnostic resolution that can be achieved using these parameters, the sizes of dictionaries that store the parameters, and the ability to diagnose unmodeled faults.