李智
- 作品数：2 被引量：2H指数：1
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 微处理器存储管理单元的功能验证方法
- 2010年
- 在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS)。采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功。
- 李智周大钧龚令侃
- 关键词：存储管理单元
- 微处理器Cache的验证方法研究被引量：2
- 2010年
- 在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明,该方法方便测试程序开发,减少验证时间。
- 李智李怡龚令侃章建雄
- 关键词：高速缓存监视器指令集模拟器
