基于验证库的微处理器指令集验证方法

摘要：

指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位.测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一.该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具.使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序.测试结果表明,该方法实现简单,能达到较好的验证效果.

关键词：微处理器、指令集验证、随机测试程序生成、验证库

所属期刊栏目：35

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

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

页数：共3页

页码：86-88