微处理器存储管理单元的功能验证方法 (2010年)

【文件属性】：

文件名称：微处理器存储管理单元的功能验证方法 (2010年)

文件大小：539KB

文件格式：PDF

更新时间：2024-06-10 22:39:23

工程技术 论文

在分析存储管理单元（MMU）验证方法的基础上设计一种验证专用操作系统（VPOS）。采用静态存储管理、静态用例调度和伪中断处理等技术，为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明，基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误，在FPGA验证中覆盖剩余的错误，保证了移植通用操作系统一次成功。