10.3969/j.issn.1000-3428.2010.15.099
微处理器存储管理单元的功能验证方法
在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS).采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台.验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功.
功能验证、存储管理单元、验证专用操作系统、静态存储管理、静态用例调度、伪中断处理
36
TP303(计算技术、计算机技术)
2010-09-10(万方平台首次上网日期,不代表论文的发表时间)
共4页
280-282,285