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

Research on Verification Method of Microprocessor Cache

作　　者：李智[1] 李怡[1] 龚令侃[1] 章建雄[1] 

机构地区：[1]华东计算技术研究所,上海200233

出　　处：《计算机工程》2010年第16期273-275,共3页Computer Engineering

摘　　要：在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由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.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]