- CMP是處理器體系結構發展的一個重要方向，其中Cache一致性問題的驗證是CMP設計中的一項重要課題?；贛ESI一致性協議，本文建立了CMP的Cache一致性協議的驗證模型，總結了三種驗證方法——狀態列舉法、模型檢驗法和符號狀態法，并給出了每一種方法的復雜性分析。
- 關鍵字：
體系結構 片上多處理器 Cache一致性
片上多處理器介紹
您好，目前還沒有人創建詞條片上多處理器!
歡迎您創建該詞條，闡述對片上多處理器的理解，并與今后在此搜索片上多處理器的朋友們分享。
創建詞條
關于我們 -
廣告服務 -
企業會員服務 -
網站地圖 -
聯系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網安備11010802012473
