Title :
A state encoding for self-checking finite state machines
Author :
Bolchini, C. ; Montandon, R. ; Salice, F. ; Sciuto, D.
Author_Institution :
Milan Polytech., Italy
fDate :
29 Aug-1 Sep 1995
Abstract :
The design of self-checking FSMs can be achieved by adopting an encoding for the state, for the output or for both. In this paper a state encoding in which the Hamming distance between each state and its possible next states is constant is proposed. The adoption of such an encoding and the application of specific techniques for achieving a complete fault detection property for faults occurring in the next-state logic are presented. Area overhead and fault coverage results on a set of MCNC benchmark FSMs are provided
Keywords :
Hamming codes; finite state machines; logic testing; FSMs; Hamming distance; MCNC benchmark FSMs; fault detection property; next-state logic; self-checking finite state machines; state encoding; Automata; Circuit faults; Circuit synthesis; Electrical fault detection; Electronic mail; Encoding; Fault detection; Hamming distance; Logic design; Sequential circuits;
Conference_Titel :
Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages. IFIP International Conference on Very Large Scal
Conference_Location :
Chiba
Print_ISBN :
4-930813-67-0
DOI :
10.1109/ASPDAC.1995.486392
