基于功能覆盖率验证多核处理器中的Cache一致性协议

摘要

片上多核技术的出现给处理器的设计和验证带来很多挑战,对Cache一致性协议的验证就是其中的一个难点.采用基于功能覆盖率进行验证的思想,将各部件实现的Cache一致性协议处理流程抽象为显式的序列描述,并详细说明如何利用PSL语言将这些序列转化为具体的覆盖点或断言,然后用这些功能点检查模拟验证向量的覆盖情况.本文采用的验证方法既保证了功能验证的全面性,又适当控制了验证规模,提高了验证效率,现已成功应用于具体的验证工作中.