一种带偏置的基于相关性分析的Cache一致性协议验证方法

• 作者: 夏竟 庞征斌 张俊 徐炜遐
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 功能验证 测试激励自动生成 Cache一致性协议
• 年，卷（期）: 2009,（z1）
• 所属期刊栏目: 高性能计算机体系结构
• 页码范围: 55-58
• 页数: 4页
• 分类号: TP306
• 字数: 4788字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.A1.018

摘要

Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位.对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题.本文提出了一种对复杂CC-NUMA系统中Cache一致性协议进行模拟验证的方法.该方法通过对验证覆盖目标进行相关性分析,使用偏置技术对传统伪随机模拟验证方法进行了改进.实际验证结果表明,改进后的方法使得模拟验证覆盖率的增长速率有了明显提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张俊	国防科技大学计算机学院	5	23	3.0	4.0
2	庞征斌	国防科技大学计算机学院	19	107	5.0	10.0
3	徐炜遐	国防科技大学计算机学院	20	52	4.0	6.0
4	夏竟	国防科技大学计算机学院	2	2	1.0	1.0