一种面向微处理器验证的分层随机激励方法

• 作者: 严晓浪 孟建熠 张欣 殷燎 葛海通 黄凯
• 来源期刊: 计算机应用研究
• 关键词: 分层 随机 激励 微处理器 功能 验证 约束
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1284-1288
• 页数: 5页
• 分类号: TP303
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.04.022

摘要

针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度.采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器的验证复用.CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟建熠	浙江大学超大规模集成电路设计研究所	30	45	3.0	5.0
2	严晓浪	浙江大学超大规模集成电路设计研究所	246	1634	19.0	29.0
3	葛海通	浙江大学超大规模集成电路设计研究所	52	293	8.0	14.0
4	黄凯	浙江大学超大规模集成电路设计研究所	44	179	8.0	11.0
5	张欣	浙江大学超大规模集成电路设计研究所	21	65	5.0	7.0
6	殷燎	浙江大学超大规模集成电路设计研究所	3	24	2.0	3.0