会议论文详细信息
基于功能覆盖率验证多核处理器中的Cache一致性协议
文献类型：会议
作者单位：国家高性能集成电路(上海)设计中心 上海201204
会议文献：第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集
会议名称：第十五届计算机工程与工艺年会暨第一届微处理器技术论坛
会议日期：20110812
会议地点：成都
主办单位：中国计算机学会
出版单位：中国计算机学会
出版日期：20110812
语 种：中文
摘 要：片上多核技术的出现给处理器的设计和验证带来很多挑战,对Cache一致性协议的验证就是其中的一个难点.采用基于功能覆盖率进行验证的思想,将各部件实现的Cache一致性协议处理流程抽象为显式的序列描述,并详细说明如何利用PSL语言将这些序列转化为具体的覆盖点或断言,然后用这些功能点检查模拟验证向量的覆盖情况.本文采用的验证方法既保证了功能验证的全面性,又适当控制了验证规模,提高了验证效率,现已成功应用于具体的验证工作中.
关 键 词：多核处理器 缓冲存储器 一致性协议 功能覆盖率
分 类 号：TP332]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
