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

• 作者: 吴列治 张盛兵 沈绪榜
• 来源期刊: 计算机应用研究
• 关键词: 微处理器 动态伪随机 验证 功能覆盖率
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1704-1706
• 页数: 3页
• 分类号: TP303
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.06.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张盛兵	西北工业大学航空微电子中心	142	912	15.0	23.0
2	沈绪榜	西北工业大学航空微电子中心	23	173	8.0	12.0
3	吴列治	西北工业大学航空微电子中心	2	13	2.0	2.0