基于指令模板的通用处理器约束随机指令生成方法

• 作者: 刘婧 李华伟 王健 王天成
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 功能验证 通用处理器 指令模板 指令生成 约束随机指令
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 309-313
• 页数: 5页
• 分类号: TP031.6
• 字数: 3786字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.10.058

摘要

随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈.而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求.为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证.从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证.基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中.验证结果表明,该方法可得到90％的结构覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华伟	中国科学院计算技术研究所计算机体系结构国家重点实验室	55	595	14.0	22.0
2	王健	中国科学院计算技术研究所计算机体系结构国家重点实验室	153	1133	18.0	27.0
6	刘婧	湘潭大学信息工程学院	1	5	1.0	1.0
7	王天成	中国科学院计算技术研究所计算机体系结构国家重点实验室	5	18	3.0	4.0