This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design of Diagnosable Sequential Machines Utilizing Extra Outputs
February 1974 (vol. 23 no. 2)
pp. 138-145
ASCII Text
x 
 
H. Fujiwara, K. Kinoshita, "Design of Diagnosable Sequential Machines Utilizing Extra Outputs," IEEE Transactions on Computers, vol. 23, no. 2, pp. 138-145, February, 1974.
 
 
BibTex
x
 
@article{ 10.1109/T-C.1974.223876,
author = {H. Fujiwara and K. Kinoshita},
title = {Design of Diagnosable Sequential Machines Utilizing Extra Outputs},
journal ={IEEE Transactions on Computers},
volume = {23},
number = {2},
issn = {0018-9340},
year = {1974},
pages = {138-145},
doi = {http://doi.ieeecomputersociety.org/10.1109/T-C.1974.223876},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Computers
TI - Design of Diagnosable Sequential Machines Utilizing Extra Outputs
IS - 2
SN - 0018-9340
SP138
EP145
EPD - 138-145
A1 - H. Fujiwara,
A1 - K. Kinoshita,
PY - 1974
KW - Checking experiments
KW - diagnosable sequential machines
KW - fault detection
KW - output-observable machines
KW - semi-feedback shift register (FSR) realizability.
VL - 23
JA - IEEE Transactions on Computers
ER -
 
H. Fujiwara, Department of Electronic Engineering, Osaka University
This paper is concerned with the problem of designing easily testable sequential machines, output-observable machines, for which there exist very short checking experiments. A sequential machine for which any initial state can be uniquely determined only by the output response is said to be output-observable. An algorithm is developed to modify a given machine to an output-observable one by adding a minimum number of extra outputs. This method is based on the fact that the output-observable realization of a given machine M exists if and only if M is semi-FSR realizable (a special type of feedback shift register realization).
Index Terms:
Checking experiments, diagnosable sequential machines, fault detection, output-observable machines, semi-feedback shift register (FSR) realizability.
Citation:
H. Fujiwara, K. Kinoshita, "Design of Diagnosable Sequential Machines Utilizing Extra Outputs," IEEE Transactions on Computers, vol. 23, no. 2, pp. 138-145, Feb. 1974, doi:10.1109/T-C.1974.223876
Usage of this product signifies your acceptance of the Terms of Use.