一种片上多核处理器Cache一致性协议验证方法、系统及介质

摘要

本发明公开了一种片上多核处理器Cache一致性协议验证方法、系统及介质，本发明方法的步骤包括：针对执行待验证Cache协议的片上多核处理器加载执行测试程序，并跟踪片上网络的Cache相关报文，并通过记录板文件记录Cache事务的生命周期；检查测试程序的运行结果是否出现错误，若出现错误，则判定Cache协议验证未通过测试，退出；否则检查记录板文件定位测试程序执行过程中的错误场景，如果找到错误场景或者记录板文件仍有未完成的Cache事务则判定Cache协议验证未通过测试；否则判定Cache协议验证通过测试。本发明能够在验证过程中精确定位错误场景，易于发现设计漏洞和错误。