Design of Diagnosable Sequential Machines Utilizing Extra Outputs | IEEE Journals & Magazine | IEEE Xplore

Design of Diagnosable Sequential Machines Utilizing Extra Outputs


Abstract:

This paper is concerned with the problem of designing easily testable sequential machines, output-observable machines, for which there exist very short checking experimen...Show More

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).
Published in: IEEE Transactions on Computers ( Volume: C-23, Issue: 2, February 1974)
Page(s): 138 - 145
Date of Publication: 28 February 1974

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.