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

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

Library-based Verification Methodology for Instruction Set Validation of Microprocessor

Instruction set,as the interface between software and hardware,plays an important role in computer architecture. Random Test Program Generation(RTPG) is one of the efficient ways to verify an instruction set. After comparing some existing RTPG technologies and verification strategies,this paper proposes a library-based RTPG tool for instruction set verification. By developing both library and test template using a general purpose script language,it is capable of generating high quality test in different tes...