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

Library-based Verification Methodology for Instruction Set Validation of Microprocessor

作　　者：龚令侃[1] 王玉艳[1] 章建雄[1] 

机构地区：[1]华东计算技术研究所,上海200233

出　　处：《计算机工程》2009年第3期86-88,共3页Computer Engineering

摘　　要：指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。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 test stage. Results of test show that it is easy implemented, and on the meantime, it can get a satisfying verification result.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]