论文部分内容阅读
论文论述了一个基于随机测试程序生成器的包括体系结构模拟器等软件在内的微处理器自动验证平台.该平台能够根据用户的输入灵活地采用不同的初始状态、测试范围等;同时可以在生成过程中跟踪每一条语句执行后的CPU状态.该测试平台具有高效、代码覆盖率高、移植性好等特点,能够覆盖我们在使用其它验证方法时发现的绝大部分问题.