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

• 作者: 朱丹 李思昆 李暾
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 软错误 可靠性分析 时序等价性检查
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 465-470
• 分类号: TP391
• 字数: 5872字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
2	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
3	朱丹	国防科学技术大学计算机学院	6	24	3.0	4.0