[发明专利]硬错误模拟及其使用在审
申请号: | 201910295312.2 | 申请日: | 2019-04-12 |
公开(公告)号: | CN110377924A | 公开(公告)日: | 2019-10-25 |
发明(设计)人: | 贾米勒·R·马扎维;艾曼·K·穆阿利姆;马纳尔·H·谢哈德 | 申请(专利权)人: | 奥普蒂马设计自动化有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 成都超凡明远知识产权代理有限公司 51258 | 代理人: | 魏彦;洪玉姬 |
地址: | 以色列*** | 国省代码: | 以色列;IL |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 错误故障 监测信号 电路 错误测试 错误模拟 覆盖 测试 关键节点 模拟电路 输出 检测 | ||
1.一种计算机实施的方法,包括:
获得电路的设计,其中,所述电路包括节点,所述节点在执行期间被分配值,其中,所述电路包括用于识别错误的一个或多个监测信号和一个或多个关键节点;
获得所述电路的测试的运行的轨迹;
获得节点上的硬错误故障,其中,所述硬错误故障潜在地能够使错误值到达所述一个或多个关键节点;
通过处理器确定所述硬错误故障的硬错误测试覆盖,其中,所述硬错误测试覆盖指示所述一个或多个监测信号是否在测试的执行期间识别到所述硬错误故障,并且其中,所述确定包括:模拟所述电路的执行以及所述硬错误故障,并注明所述一个或多个监测信号中的任何一个或多个是否检测到所述硬错误故障,以及
输出所述硬错误测试覆盖的指示。
2.根据权利要求1所述的计算机实施的方法,其中,关于所述电路中包括的多个节点进行所述确定,由此对所述多个节点中的每个节点确定测试覆盖,其中,所述输出包括输出所述多个节点以及所述多个节点上的所述硬错误故障的关联覆盖值的列表。
3.根据权利要求2所述的计算机实施的方法,其中,所述输出包括输出总覆盖值,其中,所述总覆盖值是在所有可能的执行中检测到所述硬错误故障的执行所占的比率。
4.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为恒定值。
5.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为不受到所述节点的输入信号影响的随机值。
6.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述经修改设计被配置为将每个周期中所述节点的值设置为表示未知值的X值。
7.根据权利要求1所述的计算机实施的方法,其中,所述模拟执行包括:确定模拟所述硬错误故障的经修改设计,其中,所述设计包括对限定每个周期中所述信号的值的第一函数进行建模,其中,所述经修改设计包括对限定每个周期中所述信号的值的第二函数进行建模,其中,所述第二函数与所述第一函数不同。
8.根据权利要求1所述的计算机实施的方法,其中,所述一个或多个监测信号中的至少一个是内置自测试(BIST)的一部分或者锁步或三模冗余(TMR)构造的一部分。
9.根据权利要求1所述的计算机实施的方法,还包括:
获得所述电路的参考执行的记录,其中,所述记录包括多个周期中所述节点的记录值;并且
其中,使用所述参考执行的所述记录值进行所述模拟所述电路的执行。
10.根据权利要求9所述的计算机实施的方法,还包括:
识别一个或多个感兴趣节点,其中,所述一个或多个感兴趣节点中的每一个的影响逻辑(LOI)包括至少一个监测信号和至少一个关键节点;
其中,所述模拟包括:在每个周期的模拟期间,
确定所述感兴趣节点的子集,所述子集的值潜在地与所述参考执行中对应周期中的所述记录值不同;
对于不在节点的所述子集中的每个节点,使用所述记录值作为该节点的值;以及
对于在节点的所述子集中的每个节点,计算该节点的值。
11.根据权利要求10所述的计算机实施的方法,其中,所述确定包括:对于每个感兴趣节点,确定该感兴趣节点的影响节点集的值在所述模拟中是否与在所述参考执行中的相同,其中,所述影响节点集是所述设计中限定该节点的值的节点集。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于奥普蒂马设计自动化有限公司,未经奥普蒂马设计自动化有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201910295312.2/1.html,转载请声明来源钻瓜专利网。