论文部分内容阅读
微处理器的功能验证成为设计验证的瓶颈，指令集的组合验证对流水线处理器具有重要的意义。Leon2流水线相关验证找出了流水线相关的测试向量集，实现了测试程序的自动生成，构造自动化程度较高的验证平台。与指令随机组合测试的方法相比，有针对性地验证了引起流水线相关的情况，同时测试程序达到了较高的流水线状态覆盖率。