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

第36卷 第15期 计 算 机 工 程 2010年 8月 VoL36 No．15 ComputerEngineering August2010 · 开发研究与设计技术 · 文章编号：1000_-3428(2010)ls__028—l3 文献标识码；A 中圈分类号：TP303 微处理器存储管理单元的功能验证方法 李 智 ，周大钧 ，龚令侃 (1．华东计算技术研究所，上海 200233；2．山东轻工业学院现代教育中心，济南 250353) 擅 要：在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(vPos)。采用静态存储管理、静态用例调度和伪中断 处理等技术，为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明，基于VPOS的仿真能在早期的软仿真阶段覆盖94％的 MMU设计错误，在FPGA验证中覆盖剩余的错误，保证了移植通用操作系统一次成功。 关健词 ：功能验证；存储管理单元；