The Community for Technology Leaders
Green Image
Issue No. 02 - February (1974 vol. 23)
ISSN: 0018-9340
pp: 138-145
H. Fujiwara , Department of Electronic Engineering, Osaka University
ABSTRACT
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
K. Kinoshita, H. Fujiwara, "Design of Diagnosable Sequential Machines Utilizing Extra Outputs", IEEE Transactions on Computers, vol. 23, no. , pp. 138-145, February 1974, doi:10.1109/T-C.1974.223876
96 ms
(Ver 3.1 (10032016))