| CMP中Cache一致性协议的验证 | |
| 所屬分類：技术论文 | |
| 上傳者：aet | |
| 文檔大小：296 K | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：CMP是处理器体系结构发展的一个重要方向，其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议，本文建立了CMP的Cache一致性协议的验证模型，总结了三种验证方法——状态列举法、模型检验法和符号状态法，并给出了每一种方法的复杂性分析。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2