• DocumentCode
    451856
  • Title

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

  • Author

    Leveugle, R.

  • Author_Institution
    Institut National Polytechnique de Grenoble / CSI, Grenoble Cedex - FRANCE
  • fYear
    1993
  • fDate
    14-18 June 1993
  • Firstpage
    14
  • Lastpage
    18
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1993. 30th Conference on
  • ISSN
    0738-100X
  • Print_ISBN
    0-89791-577-1
  • Type

    conf

  • DOI
    10.1109/DAC.1993.203912
  • Filename
    1600185