作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程

• 开发研究与工程应用 • 上一篇    下一篇

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

刘婧1,王天成2,王健2,3,李华伟2   

  1. (1.湘潭大学信息工程学院,湖南 湘潭 411105; 2.中国科学院计算技术研究所计算机体系结构国家重点实验室,北京 100190; 3.中国科学院大学,北京 100049)
  • 收稿日期:2014-09-03 出版日期:2015-10-15 发布日期:2015-10-15
  • 作者简介:刘婧(1989-),女,硕士研究生,主研方向:集成电路验证;王天成,工程师、硕士;王健,博上研究生;李华伟,研究员。
  • 基金资助:
    国家自然科学基金资助项目(61176040)。

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

LIU Jing  1,WANG Tiancheng  2,WANG Jian  2,3,LI Huawei  2   

  1. (1.College of Information Engineering,Xiangtan University,Xiangtan 411105,China; 2.State Key Laboratory of Computer Architecture,Institute of Computing Technology, Chinese Academy of Sciences,Beijing 100190,China; 3.University of Chinese Academy of Sciences,Beijing 100049,China)
  • Received:2014-09-03 Online:2015-10-15 Published:2015-10-15

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

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

Abstract: 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 simulation-based 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,and 58 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%.

Key words: functional verification, general processor, instruction template, instruction generation, constraint random instruction

中图分类号: