Title :
Optimized State Assignment of Single Fault Tolerant FSMs Based on SEC Codes
Author_Institution :
Institut National Polytechnique de Grenoble / CSI, Grenoble Cedex - FRANCE
Abstract :
The synthesis of single fault tolerant FSMs requires state codes with a minimal Hamming distance equal to 3 (SEC code). The classical state assignment optimizations assume codes at distance 1 and do not directly apply. This paper shows that the optimization principles can be extended to SEC codes. A state assignment algorithm is proposed and results demonstrate its efficiency.
Keywords :
Automata; Binary codes; Circuit synthesis; Design automation; Encoding; Fault tolerance; Hamming distance; Logic; Minimization; Very large scale integration;
Conference_Titel :
Design Automation, 1993. 30th Conference on
Print_ISBN :
0-89791-577-1
DOI :
10.1109/DAC.1993.203912
