A Self-Checking Approach for SEU/MBUs-Hardened FSMs Design Based on the Replication of One-Hot Code

作者：Li Yuanqing^*; Yao Suying; Xu Jiangtao; Gao Jing

来源：IEEE Transactions on Nuclear Science, 2012, 59(5): 2572-2579.

DOI：10.1109/TNS.2012.2212209

• FSMs
• MBUs
• mean-time-between-failures
• Poisson distribution
• SEU

As technology scales, the protection of Finite State Machines' (FSMs) states against single event upset (SEU) and multiple bit upsets (MBUs) becomes more difficult. In this paper, a self-checking approach to enhance the SEU/MBUs immunity of FSMs' states by replicating One-Hot code times for state encoding is presented. This approach can correct less than bit-flip faults in the state register per cycle. Bit-flips are treated as random events and modeled by applying Poisson distribution. Two characteristics of this approach are obtained through probability analysis: first, this approach performs better with the increase of, whereas worse when an FSM contains more states; second, this approach can offer more enhanced reliability than Binary or One-Hot state encoding with Triple Modular Redundancy (TMR). The former characteristic leads to the further improvement of this approach which is called state-reforming. The reliabilities of this proposed approach and its state-reformed solutions, as well as One-Hot + TMR are all evaluated through simulations of fault injections.

• 出版日期2012-10
• 单位天津大学