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