DocumentCode
3248883
Title
A state encoding for self-checking finite state machines
Author
Bolchini, C. ; Montandon, R. ; Salice, F. ; Sciuto, D.
Author_Institution
Milan Polytech., Italy
fYear
1995
fDate
29 Aug-1 Sep 1995
Firstpage
711
Lastpage
716
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ASPDAC.1995.486392
Filename
486392
Link To Document