A fault-detection method for a synchronous device

A method is proposed for design of a shortest sequence to detect the specified fault in the synchronous device. The method involves completion of certain conjuctions selected from the disjunctive normal forms which describe the behaviour of the operable device on sequences of the identical length. The initial states of the operable device and of a device with a specified fault are assumed unknown. Possibilities of reducing the search for sequences that would detect constant faults on the poles of elements. The method is extended to the case of identical and known initial state and to the case of different and known initial states of the operable device and a unit with a specified fault.