软错误评估中仿真故障注入平台的理论模型

摘要：

提出了仿真故障注入系统的七元组描述的统一理论模型,指导用于软错误敏感性评估的仿真故障注入系统的设计与实现.结合七元组模型给出了仿真故障注入系统中关键部分的设计方法,包括实现自动化故障注入的一般方法、基于LL(k)语法分析技术的故障集生成方法、基于检查点恢复和分层抽样的仿真故障注入加速策略等.同时,以电路级软错误敏感性评估平台HSECT-SPI(HIT soft error characterization toolkit-spice based)为例讨论了七元组模型的可行性和有效性.

关键词：软错误、故障注入、语法分析、检查点、分层抽样

所属期刊栏目：30

分类号：TN492;V520.6(微电子学、集成电路（IC）)

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：5048-5052