一种缓存一致性协议正确性验证方法

摘要

本发明提供一种缓存一致性协议正确性验证方法，在计算机进入操作系统后，操作系统的核心及应用复杂性较高，不容易精确控制处理器行为，因此为保持验证正确性，需要在系统过程中嵌入缓存一致性协议验证程序，该程序嵌入在BIOS代码中，在系统初始化初期内存子系统初始化完成后，即开始执行验证程序，验证程序需要能够精确控制系统各处理器行为，并支持用户选择具体要执行的验证项，向用户反馈验证结果，该方法在系统级实现了对缓存一致性协议正确性的验证，能够完全涵盖真实系统所有应用场景，弥补了传统基于模拟方式的验证方法效率低、验证覆盖率差的不足，能够缩短实现处理器域间缓存一致性芯片设计、验证周期，并能够有效保证芯片一次投片成功率，因而具有非常广阔的发展前景及极高的技术价值。