| 微处理器存储管理单元的功能验证方法 |
| |
| 引用本文： | 李智,周大钧,龚令侃. 微处理器存储管理单元的功能验证方法[J]. 计算机工程, 2010, 36(15): 280-282,285 |
| |
| 作者姓名： | 李智 周大钧 龚令侃 |
| |
| 作者单位： | 1. 华东计算技术研究所,上海,200233
2. 山东轻工业学院现代教育中心,济南,250353 |
| |
| 摘 要： | 在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS)。采用静态存储管理、静态用例调度和伪中断处理等技术，为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明，基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误，在FPGA验证中覆盖剩余的错误，保证了移植通用操作系统一次成功。
|
| 关 键 词： | 功能验证 存储管理单元 验证专用操作系统 静态存储管理 静态用例调度 伪中断处理 |
Functional Verification Method for Memory Management Unit of Microprocessors |
| |
| LI Zhi,ZHOU Da-jun,GONG Ling-kan. Functional Verification Method for Memory Management Unit of Microprocessors[J]. Computer Engineering, 2010, 36(15): 280-282,285 |
| |
| Authors: | LI Zhi ZHOU Da-jun GONG Ling-kan |
| |
| Affiliation: | (1. East China Institute of Computer Technology, Shanghai 200233; 2. Modern Educational Technology Center, Shandong Institute of Light Industry, Jinan 250353) |
| |
| 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. |
| |
| Keywords: | functional verification Memory Management Unit(MMU) Verification Purpose Operating System(VPOS) static memory management static case scheduling Pseudo Interrupt Handling(PIH) |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
