Design of diagnosable sequential machines

Authors:
Zvi Kohavi;Pierre Lavallee
Affiliations:
Massachusetts Institute of Technology, Cambridge, Massachusetts;Xerox Corporation, Rochester, New York
Venue:
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Year:
1967

Citing 1
Cited 1

Fault detecting experiments for sequential circuits

SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design

SCIRTSS: A Search System for Sequential Circuit Test Sequences

IEEE Transactions on Computers

Quantified Score

Hi-index	0.03

Visualization

Abstract

A diagnosable sequential machine is one which possesses a distinguishing (or diagnosing) sequence(s) and thus permits us to uniquely identify the various states of the machine by inspecting its response to the distinguishing sequence.