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

Constraint Random Instruction Generation Method for General Processor Based on Instruction Template

作　　者：刘婧[1] 王天成[2] 王健[2,3] 李华伟[2] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105 [2]中国科学院计算技术研究所计算机体系结构国家重点实验室,北京100190 [3]中国科学院大学,北京100049

出　　处：《计算机工程》2015年第10期309-313,共5页Computer Engineering

基　　金：国家自然科学基金资助项目(61176040)

摘　　要：随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。Due to the increasing system complexity of hardware design,functional verification becomes the bottleneck of the design flow.General processor is one of the most complex designs of integrated circuits,and it brings a huge challenge on its functional verification.This paper proposes a constraint random instruction generation method,for the simulationbased verification of an ARMv8 processor.This instruction generation method is based on the templates that are extracted from the instruction set,which guide the valid ARMv8 instructions＇ generation,and can support a variety of functional scenarios＇ verification by adjusting the constraints.Based on automatically comparison of the results produced by the validation environment,it achieves fully verification of the processor,and58 design mistakes are found.The achievement has a good foundation,for the subsequent FPGA hardware emulation.The verification results show that the method can obtain the structural coverage of 90%.

关 键 词：功能验证 通用处理器 指令模板 指令生成 约束随机指令 

分 类 号：TP031.6[自动化与计算机技术]