[发明专利]一种多核处理器Cache一致性模拟验证方法及验证装置

权利要求书

1.一种多核处理器Cache一致性模拟验证方法，其特征在于，配置验证环境和验证激励，在验证环境下进行激励测试；在完成激励测试之后进行覆盖率收集与性能统计，通过全局协议正确性检查来判定系统是否按照协议要求进行状态的正确迁移。

2.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，在一致性协议相关状态与报文流程执行结果已验证通过的基础之上，检查全局的数据一致性是否符合协议要求。

3.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，所述配置验证环境时，根据需要配置的请求节点个数，生成相应的基本测试激励与随机测试激励。

4.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，通过填写一致性协议的覆盖率表格，生成覆盖率模型；在激励完成之后，收集覆盖率，依据覆盖率数据来不断进行迭代测试，直至覆盖率达到100％。

5.根据权利要求4所述的多核处理器Cache一致性模拟验证方法，其特征在于，所述覆盖率表格包括需要验证的报文类型及报文各个域段的合法取值、Cache状态的迁移路径、非法状态确定。

6.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，通过生成的随机测试激励，进行随机压力测试，并且进行协议处理流程正确性检查，所述正确性检查包括实时进行的和测试后进行的检查，并在测试后对所有请求进行结果检查及性能统计；随机压力测试不通过，根据正确性检查的报错信息，查找访存事务流程，定位错误点，错误排除后，重新执行随机压力测试。

7.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，统计访存事务的性能，确定性能缺陷与优化方向。

8.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，所述全局协议正确性检查单元的流程包括：

步骤S11：收集设计接口处协议处理的数据包，与标准协议模型的数据包进行比较，判断处理过程是否正确；首先根据后门读取的Cache状态判断入口处的请求事务是否正确，确保发出的请求符合协议规定，另外对于事务处理流程中每个报文的域段设置合法性进行检查，发现非法状态时会记录错误事务信息并打印；

步骤S12：在仿真结束后，对待验证设计中的缓冲队列进行检查，在所有事物正确处理后，设计中的缓冲队列应该为空，若不为空则表明存在未完成处理的事务，形成未处理事务的相关信息以供分析；

步骤S13：收集请求节点接口处的数据流与存储器接口处的数据流，并进行比较，检查系统的输入数据与输出数据是否一致，验证从请求节点到存储器的通路是否正确。

9.根据权利要求1所述的多核处理器Cache一致性模拟验证方法，其特征在于，所述性能统计的流程包括：

步骤S21：根据每个访存事务的ID与请求节点的ID，记录该事务的发起时间并存储，当判断到该事务的处理已经结束时，记录该事务的结束时间并打印；

步骤S22：进行性能统计的后处理，即通过对打印信息中的性能统计数据进行收集，将每个事务的开始结束时间、处理时间、事务类型输出为表格，并分析得到带宽、延迟、读写速度等性能信息。

10.一种多核处理器Cache一致性模拟验证装置，其特征在于，包括：

验证环境生成单元，用来根据待验证处理器的Cache、存储及处理器核的互联结构，生成包括UVM组件与接口连接在内的完整验证环境；

验证激励生成单元，用来根据配置的多核处理器互联结构，生成需要的测试激励；

覆盖率生成单元，用来生成覆盖率模型，并将生成覆盖率模型添加到文件列表，完成一致性协议覆盖率的收集；

全局协议正确性检查单元，用于对一致性协议处理全流程的实时正确性的检查；

性能统计单元，用于访存事务处理流程的信息收集与性能统计。