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

关键词: 高速缓存, 芯片级验证, 验证平台调用, 验证库, 监视器, 指令集模拟器

Abstract: 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.

Key words: Cache, chip-level verification, Testbench Call(Tb Call), verification library, monitor, Instruction Set Simulator(ISS)

中图分类号: 

• TP391