Issue No.10 - October (1971 vol.20)
E.P. Hsieh , IEEE
Some new procedures for designing efficient checking experiments for sequential machines are described. These procedures are based on the use of four types of sequences introduced, namely, the compound DS, the resolving sequence (RS), the compound. RS, and the simple I/O sequence. Significant reduction in the bound on the length of checking experiments is achieved. Along a parallel line of develop
Bounds, checking experiments, fault detection, sequential machines, state-increasing faults, synchronous machines.
E.P. Hsieh, "Checking Experiments ror Sequential Machines", IEEE Transactions on Computers, vol.20, no. 10, pp. 1152-1166, October 1971, doi:10.1109/T-C.1971.223100