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

Functional Verification Method for Memory Management Unit of Microprocessors

作　　者：李智[1] 周大钧[2] 龚令侃[1] 

机构地区：[1]华东计算技术研究所,上海200233 [2]山东轻工业学院现代教育中心,济南250353

出　　处：《计算机工程》2010年第15期280-282,285,共4页Computer Engineering

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

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

分 类 号：TP303[自动化与计算机技术—计算机系统结构]