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

关键词: 功能验证, 存储管理单元, 验证专用操作系统, 静态存储管理, 静态用例调度, 伪中断处理

Abstract: This paper puts forward a Verification Purpose Operating System(VPOS) based on the verification for Memory Management Unit(MMU), which is capable of static memory management, static case scheduling and pseudo interrupt handling. Designed for hardware verification only, VPOS provides an executable and controllable platform for MMU test-program development. Verification practice shows that VPOS based simulation can cover 94% of the MMU bugs very early in the project, which releases the debugging pressure on later FPGA verification by porting General Purpose Operating System(GPOS). Therefore, it guarantees the one time success of transplanting general operating system.

Key words: functional verification, Memory Management Unit(MMU), Verification Purpose Operating System(VPOS), static memory management, static case scheduling, Pseudo Interrupt Handling(PIH)

中图分类号: 

• TP303