【技术实现步骤摘要】
硬错误模拟及其使用相关申请的交叉引用本申请是2015年2月18日提交的题为“CIRCUITSIMULATIONUSINGARECORDINGOFAREFERENCEEXECUTION(使用参考执行的记录的电路模拟)”的美国非临时申请No.14/624,603的部分继续申请,该美国非临时申请是2015年1月21日提交的题为“DETERMININGSOFTERRORINFLICTIONPROBABILITY(确定软错误施加概率)”的美国非临时申请No.14/601,312现美国专利No.9,430,599的继续申请并且其是非临时申请并要求2014年2月18日提交的题为“ERRORINJECTIONENGINE(错误注入引擎)”的美国临时专利申请No.61/941,125的权益;本申请还是2016年2月17日提交的题为“DETERMININGTRANSIENTERRORFUNCTIONALMASKINGANDPROPAGATIONPROBABILITIES(确定瞬态错误功能屏蔽和传播概率)”的美国非临时申请No.15/045,448的部分继续申请,该美国非临时申请是201 ...
【技术保护点】
1.一种计算机实施的方法,包括:获得电路的设计,其中,所述电路包括节点,所述节点在执行期间被分配值,其中,所述电路包括用于识别错误的一个或多个监测信号和一个或多个关键节点;获得所述电路的测试的运行的轨迹;获得节点上的硬错误故障,其中,所述硬错误故障潜在地能够使错误值到达所述一个或多个关键节点;通过处理器确定所述硬错误故障的硬错误测试覆盖,其中,所述硬错误测试覆盖指示所述一个或多个监测信号是否在测试的执行期间识别到所述硬错误故障,并且其中,所述确定包括:模拟所述电路的执行以及所述硬错误故障,并注明所述一个或多个监测信号中的任何一个或多个是否检测到所述硬错误故障,以及输出所述硬错误测试覆盖的指示。
【技术特征摘要】
2018.04.12 US 15/951,8691.一种计算机实施的方法,包括:获得电路的设计,其中,所述电路包括节点,所述节点在执行期间被分配值,其中,所述电路包括用于识别错误的一个或多个监测信号和一个或多个关键节点;获得所述电路的测试的运行的轨迹;获得节点上的硬错误故障,其中,所述硬错误故障潜在地能够使错误值到达所述一个或多个关键节点;通过处理器确定所述硬错误故障的硬错误测试覆盖,其中,所述硬错误测试覆盖指示所述一个或多个监测信号是否在测试的执行期间识别到所述硬错误故障,并且其中,所述确定包括:模拟所述电路的执行以及所述硬错误故障,并注明所述一个或多个监测信号中的任何一个或多个是否检测到所述硬错误故障,以及输出所述硬错误测试覆盖的指示。2.根据权利要求1所述的计算机实施的方法,其中,关于所述电路中包括的多个节点进行所述确定,由此对所述多个节点中的每个节点确定测试覆盖,其中,所述输出包括输出所述多个节点以及所述多个节点上的所述硬错误故障的关联覆盖值的列表。3.根据权利要求2所述的计算机实施的方法,其中,所述输出包括输出总覆盖值,其中,所述总覆盖值是在所有可能的执行中检测到所述硬错误故障的执行所占的比率。4.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为恒定值。5.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为不受到所述节点的输入信号影响的随机值。6.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为表示未知值的X值。7.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述设计包括对限定每个周期中所述信号的值的第一函数进行建模,其中,所述经修改设计包括对限定每个周期中所述信号的值的第二函数进行建模,其中,所述第二函数与所述第一函数不同。8.根据权利要求1所述的计算机实施的方法,其中,所述一个或多个监测信号中的至少一个是内置自测试(BIST)的一部分或者锁步或三模冗余(TMR)构造的一部分。9.根据权利要求1所述的计算机实施的方法,还包括:获得所述电路的参考执行的记录,其中,所述记录包括多个周期中所述节点的记录值;并且其中,使用所述参考执行的所述记录值进行所述模拟所述电路的执行。10.根据权利要求9所述的计算机实施的方法,还包括:识别一个或多个感兴趣节点,其中,所述一个或多个感兴趣节点中的每一个的影响逻辑(LOI)包括至少一个监测信号和至少一个关键节点;其中,所述模拟包括:在每个周期的模拟期间,确定所述感兴趣节点的子集,所述子集的值潜在地与所述参考执行中对应周期中的所述记录值不同;对于不在节点的所述子集中的每个节点,使用所述记录值作为该节点的值;以及对于在节点的所述子集中的每个节点,计算该节点的值。11.根据权利要求10所述的计算机实施的方法,其中,所述确定包括:对于每个感兴趣节点,确定该感兴趣节点的影响节点集的值在所述模拟中是否与在所述参考执行中的相同,其中,所述影响节点集是所述设计中限定该节点的值的节点集。12.根据权利要求11所述的计算机实施的方法,其中,第一周期中该感兴趣节点的所述影响节点集与第二周期中该感兴趣节点的所述影响节点集不同,由此基于不同周期中不同的节点集确定是否计算该感兴...
【专利技术属性】
技术研发人员:贾米勒·R·马扎维,艾曼·K·穆阿利姆,马纳尔·H·谢哈德,
申请(专利权)人:奥普蒂马设计自动化有限公司,
类型:发明
国别省市:以色列,IL
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。