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

摘要：

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

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

所属期刊栏目：41

分类号：TP031.6

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

在线出版日期：2015-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：309-313