This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Testable Design of Single-Output Sequential Machines Using Checking Experiments
July 1986 (vol. 35 no. 7)
pp. 658-662
K.K. Saluja, Department of Electrical and Computer Engineering, University of Wisconsin
The problem of testing sequential machines using checking experiments is investigated. A method of modifying sequential machines by adding a controllable input is presented. A procedure is given to construct checking experiments for the modified machine and it is shown that only one output observation is sufficient to determine whether the machine is fault free.
Index Terms:
testing, Checking experiments, data compaction, design, sequential machines, testable
Citation:
K.K. Saluja, R. Dandapani, "Testable Design of Single-Output Sequential Machines Using Checking Experiments," IEEE Transactions on Computers, vol. 35, no. 7, pp. 658-662, July 1986, doi:10.1109/TC.1986.1676811
Usage of this product signifies your acceptance of the Terms of Use.