CMP中Cache一致性協(xié)議的驗(yàn)證
所屬分類：技術(shù)論文
上傳者：aet
文檔大小：296 K
所需積分：0分積分不夠怎么辦？
文檔介紹：CMP是處理器體系結(jié)構(gòu)發(fā)展的一個(gè)重要方向，其中Cache一致性問題的驗(yàn)證是CMP設(shè)計(jì)中的一項(xiàng)重要課題?；贛ESI一致性協(xié)議，本文建立了CMP的Cache一致性協(xié)議的驗(yàn)證模型，總結(jié)了三種驗(yàn)證方法——狀態(tài)列舉法、模型檢驗(yàn)法和符號(hào)狀態(tài)法，并給出了每一種方法的復(fù)雜性分析。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。