计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
15期
280-282,285
,共4页
功能验证%存储管理单元%验证专用操作系统%静态存储管理%静态用例调度%伪中断处理
功能驗證%存儲管理單元%驗證專用操作繫統%靜態存儲管理%靜態用例調度%偽中斷處理
공능험증%존저관리단원%험증전용조작계통%정태존저관리%정태용례조도%위중단처리
在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS).采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台.验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功.
在分析存儲管理單元(MMU)驗證方法的基礎上設計一種驗證專用操作繫統(VPOS).採用靜態存儲管理、靜態用例調度和偽中斷處理等技術,為編寫可執行、可控製的MMU測試程序提供瞭軟件平檯.驗證錶明,基于VPOS的倣真能在早期的軟倣真階段覆蓋94%的MMU設計錯誤,在FPGA驗證中覆蓋剩餘的錯誤,保證瞭移植通用操作繫統一次成功.
재분석존저관리단원(MMU)험증방법적기출상설계일충험증전용조작계통(VPOS).채용정태존저관리、정태용례조도화위중단처리등기술,위편사가집행、가공제적MMU측시정서제공료연건평태.험증표명,기우VPOS적방진능재조기적연방진계단복개94%적MMU설계착오,재FPGA험증중복개잉여적착오,보증료이식통용조작계통일차성공.