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

作者：李智; 周大钧; 龚令侃

来源：计算机工程, 2010, (15): 280-282+285.

• 功能验证
• 存储管理单元
• 验证专用操作系统
• 静态存储管理
• 静态用例调度
• 伪中断处理 functional verification
• Memory Management Unit(MMU)
• Verification Purpose Operating System(VPOS)
• static memory management
• static case scheduling
• Pseudo Interrupt Handling(PIH)

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

• 出版日期2010
• 单位齐鲁工业大学