随机测试程序生成器研究

随机测试是微处理器设计过程的重要环节，按照一定原则生成的随机指令序列，能够构造出指令组合的各种情况，达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制，此生成器用多个状态机来抽象整个被测处理器的可能行为，具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。

Random test program generator for microprocessor verification

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.