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