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

摘要

通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法.实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13%;在测试指令数目相同的情况下,条件覆盖率平均提高了20%.