| 基于验证库的微处理器指令集验证方法 |
| |
| 引用本文： | 龚令侃,王玉艳,章建雄.基于验证库的微处理器指令集验证方法[J].计算机工程,2009,35(3):86-88. |
| |
| 作者姓名： | 龚令侃 王玉艳 章建雄 |
| |
| 作者单位： | 华东计算技术研究所,上海,200233 |
| |
| 摘 要： | 指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成（RTPG）是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略，提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板，针对不同验证阶段生成高质量的测试程序。测试结果表明，该方法实现简单，能达到较好的验证效果。
|
| 关 键 词： | 微处理器 指令集验证 随机测试程序生成 验证库 |
| 修稿时间： | |
Library-based Verification Methodology for Instruction Set Validation of Microprocessor |
| |
| GONG Ling-kan,WANG Yu-yan,ZHANG Jian-xiong.Library-based Verification Methodology for Instruction Set Validation of Microprocessor[J].Computer Engineering,2009,35(3):86-88. |
| |
| Authors: | GONG Ling-kan WANG Yu-yan ZHANG Jian-xiong |
| |
| Affiliation: | East China Institute of Computer Technology;Shanghai 200233 |
| |
| Abstract: | |
| |
| Keywords: | microprocessor instruction set verification Random Test Program Generation(RTPG) library-based verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
