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