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

Verification of microprocessor based on dynamic pseudo-random instruction generation

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