【摘 要】
:
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并不能真实地反映设计的错误覆盖率,而功能覆盖率的功能点选择太过依赖于验证工程师的经验.本文提出了在设计的RTL进行错误注入的方法,通过在待测设计中进行错误注入,生成若干带错误的设计文件,在这些带错误设计中依次运行测试集,最终计算出错误覆盖率。由于注入的模型化错误能够直接地模拟实
【机 构】
:
中国科学院计算机系统结构重点实验室,中科院计算所,北京 100190 中国科学院研究生院,北京 100190
论文部分内容阅读
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并不能真实地反映设计的错误覆盖率,而功能覆盖率的功能点选择太过依赖于验证工程师的经验.本文提出了在设计的RTL进行错误注入的方法,通过在待测设计中进行错误注入,生成若干带错误的设计文件,在这些带错误设计中依次运行测试集,最终计算出错误覆盖率。由于注入的模型化错误能够直接地模拟实际中的设计错误行为,因而此方法得到的错误覆盖率能够比较客观地体现测试集的错误覆盖率,从而可以较好地评价设计验证的质量。
其他文献
在地理信息系统(GIS)架构下的军事地形分析,是野战决策支持研究的重要前沿课题。基于GIS的地域自动选取,就是根据用户需求在约束条件下对指定区域中的地理信息进行分析,并按要求的形状、大小和方位选出最优地域。本文分析了约束聚类的地域选取与遗传算法的地域优选的优点。
本文着重研究了复杂的高维数据中采用语言建模方法获取基于规则的模糊系统的分类模型,由于模糊规则库的规模很大,而且存在着不一致的和冗余的规则,对于模糊系统的可解释性和精确性都会有一定的影响。为了提高语言建模能力,文中提出了在多阶段的FRBS学习中的一种粒度混合的层次规则生成方法,并采用遗传算法进行规则的选取和权值的确定。实验表明此方法能很好地处理解释性和精确度间的平衡问题.
随着片上系统(SoC)的测试数据量急剧增长,测试成本迅速上升,为此本文提出一种高效的测试数据分块字典统计编码压缩方法。将测试数据向量以固定长度分割为若干块,依次把各测试向量中位置次序相同的数据块划分为一组,之后分别统计各组内数据块的出现频率,运用分组字典统计编码实现压缩.本文将字典索引分为前后两部分,前部分索引自动生成,从而使得后部分索引能够复用。此方法具有压缩效率高,解压结构较简单,硬件开销不大
电路互联故障是设备、电路故障的主要形式之一,本文基于边界扫描技术研究了边界扫描技术在电路互联故障测试技术中的应用,并使用SN74BCT8373芯片和计算机并口实现了JTAG接口的电路互连故障测试,按照IEEE1149.1标准编制软件实现JTAG相关信号序列.系统准确地实现了开路、短路等不同类型电路互联故障的测试和识别.
本文通过简单介绍RFID技术,并分析目前RFID测试技术的热点,结合实际工作经验提出对RFID直接耦合测试以及并行测试的一些理解.
本文提出了基于随机测试的软件可靠性评估方法。文中首先引入程序正确性的概念,继而讨论了程序正确性估计方法,该方法以贝叶斯统计理论为依据,在对随机测试过程分析的基础上建立了基于输入域的测试过程的形式化描述;接下来讨论了程序正确性概率的先验密度函数及相关参数的选择方法,在此基础上得到正确性概率的后验概率密度函数.最后提出了在给定的程序运行剖面下软件可靠性估计方案.
集成电路测试系统校准关系到集成电路测试结果的准确性和可靠性。本文介绍了93k SOC系列测试系统概况,重点论述了93k集成电路测试系统参考源校准的原理、校准项目、实施方法及校准结果判断等内容,为进一步研究集成电路测试系统校准技术提供了参考.
本文以游戏软件测试中组合测试为例,对完全测试、组合测试及算法进行了论述.同时对测试的覆盖率和有效性,结合组合测试进行了分析.
随着基于IP核复用的SoC设计方法学的发展和IP核产品市场的不断扩大,对于国内芯片设计业来说,IP核质量问题带来的风险变得日益突出.本文以国家IP核标准为基础,介绍了CSIP建立的IP核评测与认证系统CQIP2.0,并努力用其去解决IP核质量难以评估的问题,形成业内IP核质量评测标准,促进芯片设计业的发展.
GUI测试包含以下三个最主要的要素:覆盖准则、测试预测、测试用例或测试集.本文将总结GUI测试中影响GUI测试效率的主要因素,并对今后研究的方向进行了展望.