形式化等价性检查指导的软错误敏感点筛选  

Formal Equivalence Checking Guided Soft Error Vulnerable Spots Selection

作　　者：朱丹[1] 李暾[1] 李思昆[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机辅助设计与图形学学报》2011年第3期465-470,共6页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金(60573173;60773025)

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

关 键 词：软错误 可靠性分析 时序等价性检查 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]