微处理器功能验证程序生成

摘要：

根据指令集构造的指令功能、语法格式和语义要求,建立了微处理器指令类型集合和指令操作数集合;以此为基础,为每个指令类型集合构建一个指令生成模型.根据指令生成模型、验证计划等创建微处理器功能验证程序模板,并结合微处理器流水线状态控制部件的有限状态机的基本状态转移路径,提出一种指令序列的功能验证方法.根据程序模板实现功能验证程序伪随机生成.实验结果表明:采用该方法可以高效生成功能覆盖率高、仿真时间短的RISC3200功能验证程序.

关键词：功能验证、伪随机生成、微处理器、状态转移路径

所属期刊栏目：18

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA1Z1140;863-SOC-Y-3-2;霍英东教育基金94031

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

页数：共7页

页码：1484-1490