| CMP中Cache一致性協(xié)議的驗(yàn)證 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aet | |
| 文檔大小：296 K | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：CMP是處理器體系結(jié)構(gòu)發(fā)展的一個(gè)重要方向，其中Cache一致性問題的驗(yàn)證是CMP設(shè)計(jì)中的一項(xiàng)重要課題。基于MESI一致性協(xié)議，本文建立了CMP的Cache一致性協(xié)議的驗(yàn)證模型，總結(jié)了三種驗(yàn)證方法——狀態(tài)列舉法、模型檢驗(yàn)法和符號(hào)狀態(tài)法，并給出了每一種方法的復(fù)雜性分析。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
相關(guān)資源
aet 的最新分享
- GBT15834-2011 標(biāo)點(diǎn)符號(hào)用法
- GB 15835—2011 出版物上數(shù)字用法
- 學(xué)術(shù)出版規(guī)范 表格（CYT170—2019）
- 學(xué)術(shù)出版規(guī)范插圖（CYT171—2019）
- 學(xué)術(shù)出版規(guī)范 期刊學(xué)術(shù)不端行為界定（CYT174-2019）
- GB7714-2015 信息與文獻(xiàn) 參考文獻(xiàn)著錄規(guī)則
- 破解數(shù)據(jù)要素流動(dòng)與隱私保護(hù)相沖突的局-方濱興
- 工業(yè)互聯(lián)網(wǎng)網(wǎng)絡(luò)安全實(shí)驗(yàn)室建設(shè)思路與實(shí)踐
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2