摘要
通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13%;在测试指令数目相同的情况下,条件覆盖率平均提高了20%。
This paper presented a pseudo-random method based on functional coverage by analyzing the disadvantage of microprocessor＇s verification plan in season.The experiment result demonstrates that the new method has improved the branch coverage by 13% in the same simulate-time and the coverage has increased 20% in the condition that the numbers of test instruction are equal comparing to the traditional one.
出处
《计算机应用研究》
CSCD
北大核心
2008年第6期1704-1706,共3页
Application Research of Computers
基金
国家自然科学基金资助项目(60573107)
关键词
微处理器
动态伪随机
验证
功能覆盖率
microprocessor
dynamic pseudo-random
verification
functional coverage
