中文摘要：

由于经典的基于故障模拟的软错误可靠性分析方法不完备，而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持．为此，提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法．首先提出故障传播时序依赖图，并利用它来提取软错误的传播行为特征；然后基于得到的故障传播行为特征对时序单元发生软错误后的电路与原电路进行等价性检查，以识别电路中对软错误敏感的时序单元．实验结果表明，文中方法不仅可以筛选出电路中所有的软错误敏感点，还可以用于检测容错逻辑的有效性．

英文摘要：

As the classical simulation based soft error reliability evaluation approaches are incomplete and the existing formal technique based approaches require experience and support from experts, a fault propagation feature and equivalence checking guided soft error reliability evaluation approach is proposed in this work. Fault propagation sequential dependence graph （SDG） is advanced to extract the fault propagation behavior feature of soft errors. And based on the SDG, the equivalence between the original circuit and the faulty circuit is checked to identify the sequential units which are vulnerable to soft errors. Experimental results show that the propose approach can not only can locate all the soft error vulnerable spots, but also check the effectiveness of the fault tolerance logics in circuits.