RTL错误注入的方法和实现
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并不能真实地反映设计的错误覆盖率,而功能覆盖率的功能点选择太过依赖于验证工程师的经验.本文提出了在设计的RTL进行错误注入的方法,通过在待测设计中进行错误注入,生成若干带错误的设计文件,在这些带错误设计中依次运行测试集,最终计算出错误覆盖率。由于注入的模型化错误能够直接地模拟实际中的设计错误行为,因而此方法得到的错误覆盖率能够比较客观地体现测试集的错误覆盖率,从而可以较好地评价设计验证的质量。
错误注入 错误模型 设计验证质量评价 编译器 代码覆盖率 测试集
王天成 吕涛 李晓维
中国科学院计算机系统结构重点实验室,中科院计算所,北京 100190 中国科学院研究生院,北京 100190 中国科学院计算机系统结构重点实验室,中科院计算所,北京 100190
国内会议
苏州
中文
294-297
2008-05-21(万方平台首次上网日期,不代表论文的发表时间)