随机测试程序生成器研究  

Random test program generator for microprocessor verification

作　　者：刘志强[1] 汪东升[1] 郑纬民[1] 

机构地区：[1]清华大学计算机系高性能计算研究所,北京100084

出　　处：《计算机工程与设计》2005年第2期281-284,共4页Computer Engineering and Design

基　　金：国家863高技术计划基金项目(2002AA1Z030)。

摘　　要：随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。Random test program generator (RTPG) is an important tool used in the test phase of the microprocessor design and implementation. According to some principles it randomly generates sequences of instructions. Thus it can construct interesting cases that are hard to be produced by other methods. Also, it brings out good testing intensity and high rate of coverage. A system for automatic simulation and verification of pipelined microprocessors is presented. In this system, multiple FSMs (finite-state-machine) are used to simulate the behavior of the whole processor. This method has made the system simple and efficient. Some statistical test data are given. The system has an encouraging result in the simulation and verification of the microprocessor developed by Tsinghua University.

关 键 词：生成器 随机测试 微处理器 指令 状态机 测试过程 程序 覆盖率 模拟器 设计过程 

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