Optimized State Assignment of Single Fault Tolerant FSMs Based on SEC Codes

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.