CMP中Cache一致性协议的验证AET-电子技术应用-最丰富的电子设计资源平台

CMP中Cache一致性协议的验证
所属分类：技术论文
上传者：aet
文档大小：296 K

所需积分：0分积分不够怎么办？
文档介绍：CMP是处理器体系结构发展的一个重要方向，其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议，本文建立了CMP的Cache一致性协议的验证模型，总结了三种验证方法——状态列举法、模型检验法和符号状态法，并给出了每一种方法的复杂性分析。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

活动