文献

J-GLOBAL ID：201102243907877701   整理番号：11A1402670

マイクロプロセッサのメモリ管理ユニットの機能検証法

Functional Verification Method for Memory Management Unit of Microprocessors

著者 (3件)： Li Zhi (East China Inst. of Computer Technol., Shanghai) ,  Zhou Dajun (Modern Educational Technol. Center, Shandong Inst. of Light Ind., Jinan) ,  Gong Lingkan (East China Inst. of Computer Technol., Shanghai)
資料名： Jisuanji Gongcheng  (Jisuanji Gongcheng)
巻： 36  号： 15  ページ： 280-282,285  発行年： 2010年 
JST資料番号： C2532A  ISSN： 1000-3428  CODEN： JISGEV  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 本論文は,メモリ管理ユニット(MMU)の検証に基づくVerification Purpose Operating System(VPOS)を提案する。そしてそれは,スタティックメモリ管理,スタティックケーススケジューリング,および仮想割込み処理が可能である。ハードウエア検証だけのために設計し,VPOSは,MMU試験プログラム開発のために実行可能で制御可能のプラットホームを提供する。検証の実践により,VPOSベースのシミュレーションは,本プロジェクトでの94%のMMUバグを非常に早くカバーできることがわかる。そしてそれは,General Purpose Operating System(GPOS)への移植によって,後のFPGA検証でのデバッグキング圧力を解放する。従って,それは,一般的オペレーティングシステムを移植する1度の成功を保証する。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *マイクロプロセッサ ,  *記憶管理 ,  単位 ,  オペレーティングシステム ,  スタティックメモリ ,  スケジューリング ,  計算機システム ,  ハードウェア ,  プロジェクト
準シソーラス用語： *メモリ管理 ,  ユニット ,  プログラム開発 ,  プラットフォーム【計算機】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： マイクロプロセッサ ,  メモリ管理ユニット ,  検証