Very easily testable/diagnosable sequential machine

This letter is an extension of the works of Fujiwara et al. Based on the principle of machine modification through augmentation of extra inputs and outputs, it develops an approach of fault detection taking into consideration the faults occurring in the machine which may cause an increase in its number of states. Further, in this method, the checking sequence can also be reduced in length.