基于动态伪随机技术的微处理器验证  

Verification of microprocessor based on dynamic pseudo-random instruction generation

作　　者：吴列治[1] 张盛兵[1] 沈绪榜[1] 

机构地区：[1]西北工业大学航空微电子中心,西安710072

出　　处：《计算机应用研究》2008年第6期1704-1706,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60573107)

摘　　要：通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了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.

关 键 词：微处理器 动态伪随机 验证 功能覆盖率 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]