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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社