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.
Published in:
Design Automation, 1993. 30th Conference on
Date of Conference: 14-18 June 1993