-
题名基于指令模板的通用处理器约束随机指令生成方法
被引量:3
- 1
-
-
作者
刘婧
王天成
王健
李华伟
-
机构
湘潭大学信息工程学院
中国科学院计算技术研究所计算机体系结构国家重点实验室
中国科学院大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第10期309-313,共5页
-
基金
国家自然科学基金资助项目(61176040)
-
文摘
随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。
-
关键词
功能验证
通用处理器
指令模板
指令生成
约束随机指令
-
Keywords
functional verification
general processor
instruction template
instruction generation
constraint random instruction
-
分类号
TP031.6
[自动化与计算机技术]
-