多处理器系统的结构验证方法

来源 :网络与信息 | 被引量 : 0次 | 上传用户:shaw1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着近年来多处理器的出现,使得处理器的验证变得越来越重要,同时也给验证工作带来了极大的困难和挑战。越来越多的时间和精力要花在处理器的验证工作上。这篇文章将介绍一种在弱一致性多处理器系统中内存一致性的验证方法——数据染色。
其他文献