Leon2微处理器流水线相关验证

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

Function Verification for Production-line Status of Leon2

The functional verification becomes a bottleneck in the design and verification of microprocessors. The cross verification of instruction set is very important for pipeline processor. By the relevant verification for pipeline of Leon2, the test vector set of the production-line was found, the automatic generation of test programs was achieved and a verification platform of high automation was built. In comparison with the method of random assembly testing of instructions, this method can verify the situation of pipeline hazard and the testing program can achieve higher coverage rate of the pipeline status.