节点文献
微处理器存储管理单元的功能验证方法
Functional Verification Method for Memory Management Unit of Microprocessors
【摘要】 在分析存储管理单元(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.
- 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2010年15期
- 【分类号】TP332
- 【下载频次】50