面向独热编码的有限状态机抗单粒子翻转设计

Anti-SEU Design for Finite State Machine with One-hot Encoding

在空间高能粒子影响下,电路容易发生单粒子翻转,而在电路设计中处于核心地位的有限状态机一旦受到单粒子翻转影响,可能无法进行正常的状态转移,从而导致有限状态机失去数据控制功能。为此,面向独热编码的有限状态机进行了抗单粒子翻转设计,并以航空全双工交换以太网中的入队数据总线控制模块作为验证模型,通过故障注入验证了设计方法的正确性。最后对该设计进行了可靠性评估,结果表明相比于传统的三模冗余加固方法,该方法的失效概率降低了两个数量级,此外还能根据实际需求调整纠正位数。相比于编码方式,该方法采用的逻辑更简单,更便于设计人员的开发和使用,具有较强的实用性。

Under the influence of high-energy particles in space,the circuit is susceptible to single event upset(SEU),and the finite state machine(FSM),which plays a key role in circuit design,may not be able to carry out normal state transition once affected by SEU,resulting in the loss of data control.To deal with this problem,the anti-SEU design is carried out for the FSM with one-hot encoding.Two fault injection schemes are designed by using the enqueue data bus control module in the Avionics Full Duplex Switched Ethernet(AFDX)as the verification model,and through fault injection,the correctness of the design method is verified.Finally,the reliability of the design is evaluated.The results show that compared with that of the traditional triple modular redundancy(TMR)reinforcement method,the failure probability of this method is reduced by two orders of magnitude,and the correction number can be adjusted according to the actual demand.Compared with the coding method,the logic adopted by this method is simpler,and it is more convenient for designers to develop and use,so this method has a stronger practicability.