使用局部建模的微处理器测试程序自动生成方法

• 作者: 佟冬 张良 易江芳 王克义 程旭
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 功能验证 模型检验 局部建模 测试程序生成
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1639-1644
• 分类号: TP302
• 字数: 6571字
• 语种: 中文

摘要

模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程旭	北京大学深圳研究生院	85	436	11.0	16.0
2	佟冬	北京大学计算机系	51	284	8.0	14.0
3	王克义	北京大学微处理器研究开发中心	22	86	5.0	8.0
4	张良	北京大学深圳研究生院	14	53	4.0	7.0
5	易江芳	北京大学微处理器研究开发中心	10	88	5.0	9.0