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

关键词：功能验证 测试激励自动生成 cache一致性协议 

单位：国防科技大学计算机学院 湖南长沙410073