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
fDate :
30 Apr-3 May 1995
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;
Conference_Titel :
Circuits and Systems, 1995. ISCAS '95., 1995 IEEE International Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7803-2570-2
DOI :
10.1109/ISCAS.1995.523848
