This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Checking Experiments ror Sequential Machines
October 1971 (vol. 20 no. 10)
pp. 1152-1166
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
Index Terms:
Bounds, checking experiments, fault detection, sequential machines, state-increasing faults, synchronous machines.
Citation:
E.P. Hsieh, "Checking Experiments ror Sequential Machines," IEEE Transactions on Computers, vol. 20, no. 10, pp. 1152-1166, Oct. 1971, doi:10.1109/T-C.1971.223100
Usage of this product signifies your acceptance of the Terms of Use.