AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

So Many States, So Little Time: Verifying Memory Coherence in the Cray X1

IPDPS, pp.11.2-11.2, (2003)

被引用83|浏览6
EI
下载 PDF 全文
引用

摘要

This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called "witness strings" that combines both formal and informal verification methods to expose design errors within the cache coherence protocol and its Verilog implementation. I...更多

代码

数据

您的评分 :
0

 

标签
评论
小科