CMP中Cache一致性協(xié)議的驗(yàn)證
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>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ù)下載不扣分,，本人上傳資源不扣分。