微处理器Cache的验证方法研究

在微处理器功能验证中，由于高速缓存(Cache)是软件(即测试程序)不可见的，对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此，提出通过验证平台调用的方法，为软件提供服务和管理Cache，构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明，该方法方便测试程序开发，减少验证时间。

Research on Verification Method of Microprocessor Cache

In the functional verification of microprocessor, because of the invisibility of Cache, chip-level verification of Cache is difficult to obtain high controllability(construction of a particular test scenario) and observability(detection of test results). This paper presents a novel approach, which provides services for the construction of test scenario by Testbench Call(Tb Call) to help software control Cache, and records behavior of Cache-initiated system bus operations and checks the results of simulation. Experimental result shows that the method is easy to develop test program and reduces verification time.