作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (15): 280-282,285. doi: 10.3969/j.issn.1000-3428.2010.15.099

• 开发研究与设计技术 • 上一篇    下一篇

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

李 智1,周大钧2,龚令侃1   

  1. (1. 华东计算技术研究所,上海 200233;2. 山东轻工业学院现代教育中心,济南 250353)
  • 出版日期:2010-08-05 发布日期:2010-08-25
  • 作者简介:李 智(1985-),男,硕士研究生,主研方向:计算机系统结构,数字系统设计;周大钧,讲师;龚令侃,硕士

Functional Verification Method for Memory Management Unit of Microprocessors

LI Zhi1, ZHOU Da-jun2, GONG Ling-kan1   

  1. (1. East China Institute of Computer Technology, Shanghai 200233; 2. Modern Educational Technology Center, Shandong Institute of Light Industry, Jinan 250353)
  • Online:2010-08-05 Published:2010-08-25

摘要: 在分析存储管理单元(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)

中图分类号: