DocumentCode
3344171
Title
An output/state encoding for self-checking finite state machine
Author
Bolchini, Cristiana ; Sciuto, Donatella
Author_Institution
Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy
Volume
3
fYear
1995
fDate
30 Apr-3 May 1995
Firstpage
2136
Abstract
A new methodology for defining a self-checking sequential architecture is presented in the paper. A m-out-of-n encoding of the juxtaposition of next-state and output, eventually completed with additional output lines, is provided. The goal is guaranteeing detection for single and multiple unidirectional errors while minimizing area overhead
Keywords
automatic testing; encoding; error detection; finite state machines; logic design; logic testing; sequential circuits; area overhead minimisation; error detection; finite state machine; multiple unidirectional errors; output/state encoding; self-checking FSM; self-checking sequential architecture; single unidirectional errors; Automata; Automatic testing; Circuit faults; Circuit testing; Circuits and systems; Electrical fault detection; Encoding; Fault detection; Sequential circuits; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1995. ISCAS '95., 1995 IEEE International Symposium on
Conference_Location
Seattle, WA
Print_ISBN
0-7803-2570-2
Type
conf
DOI
10.1109/ISCAS.1995.523848
Filename
523848
Link To Document