一种基于数据相关性的乱序处理器验证方法

A Method for Verification of Out-of-order Processor Based on Data Dependencies

乱序执行是现代微处理器设计中普遍采用的提高流水线性能的方法,但乱序执行并乱序退出的全乱序结构在超标量处理器中应用并不普遍,这种全乱序的结构对基于参考模型的处理器正确性验证提出了巨大的挑战。主要介绍了从处理器的程序行为是否正确的最终标准——程序员可见的结构变量按程序行为进行顺序变化的角度对全乱序结构的处理器验证提出了一种全新的解决方法。

Out-of-order instruction execution is widely used in modern microprocessors for improve the performance of pipeline.But those processors with both out-of-order execution and out-of-order retire are not at large.This takes great challenge for verification those processors with full out-of-order architecture.Then present a new approach to the verification of Out-of-order processor from the point of structure variable changed that according to the program at programmer-lever,which is the final slandered for verify the behavior of processor.Our approach can avoid the affect come from the indeterminacy of control flow.