CMP中Cache一致性协议的验证

摘要

CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题.基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种验证方法--状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析.