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

摘要：

通用处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通过约束的调整即可支持各种功能场景的验证.基于结果自动比对的验证环境,对处理器进行了充分的验证,发现了58处设计错误,为处理器进入后续的FPGA硬件仿真奠定了良好的基础.

关键词： 集成电路 通用处理器 指令模板 生成机制

作者: 刘婧 王天成 王健 李华伟

作者单位: 湘潭大学信息工程学院,湘潭,411105 中国科学院计算技术研究所计算机体系结构国家重点实验室,北京,100190 中国科学院计算技术研究所计算机体系结构国家重点实验室,北京,100190;中国科学院大学,北京,100049

会议类型: 国内会议

会议名称: 第八届全国测试学术会议

会议地点: 武汉

会议语种:中文

页码: 235-240

在线出版日期: 2014-07-19（万方平台首次上网日期，不代表论文的发表时间）