[发明专利]一种二级缓存接口协议的验证方法及系统

权利要求书

1.一种二级缓存接口协议的验证方法，其特征在于，所述方法对读数据检查时，记录每次读请求的关键信息，并在读数据返回时将内存模型的数据与DUT数据进行比较，进行唤醒请求检查时通过协议约定进行检查；所述方法对D或C通道数据检查时，将内存模型的数据与DUT数据进行比较，对B/C通道进行合理性检查时，根据二级缓存内容判定。

2.根据权利要求1所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，对读数据的检查，记录每次读请求的地址，标志位等关键信息，当读数据返回时，通过标志位查询记录的读请求信息，根据查询到的地址读取内存模型的数据，并与DUT数据进行比较；

对唤醒请求的检查，对唤醒请求与读数据之间的协议约定进行检查。

3.根据权利要求1所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，对D通道数据的检查，记录每次A通道请求的地址，标志位等关键信息，当D通道数据返回时，通过标志位查询记录的A通道请求信息，根据查询到的地址读取内存模型的数据，并与DUT数据进行比较；

对C通道数据的检查，根据C通道请求的地址，读取内存模型中的数据，并与DUT数据进行比较；

对B/C通道的合理性检查，若二级缓存收到B通道的ProbeBlock请求，说明二级缓存有这条cacheline，C通道不能回ProbeAck类型。

4.根据权利要求2所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，对读数据的检查流程如下：

当核发送读请求信号到二级缓存时，检查器将读地址，读标志位，读请求类型存入读请求队列；

当二级缓存返回读数据时，监测返回信息的标志位，同时遍历读请求队列，若在读请求队列中存在有效请求的标志位与返回信息的标志位相同，说明该返回数据对应的是该读请求；

从标志位一致的读请求中获得地址和读请求类型信息，如果读请求类型是写升级请求，则不需要返回数据，只需要写权限，所以不需要比较数据正确性，如果读请求类型是其他类型，则需要比较数据正确性；

通过获得的读请求地址，读取内存参考模型中的数据，该内存参考模型会根据多核验证系统实时更新写数据；

比较从内存参考模型中读取的数据和DUT的读回数据，若不一致，则报错；

将已经比较过的读请求从队列中删除。

5.根据权利要求2所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，唤醒请求的检查流程如下：

当核收到唤醒请求时，将唤醒标志位和时钟计数位存入唤醒请求队列；

在每个时钟周期对唤醒请求队列中有效请求的时钟计数位加1，同时检查每个有效请求的时钟计数位是否大于3，若大于3，则报错；

当二级缓存返回读数据时，监测返回信息的标志位，同时遍历唤醒请求队列，若在唤醒请求队列中存在有效请求的标志位与返回信息的标志位相同，将该唤醒请求从队列中删除。

6.根据权利要求3所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，对D通道数据的检查流程如下：

当二级缓存向A通道发送读请求时，检查器将读地址和源标志位存入A通道队列；

当三级缓存/内存返回D通道数据时，监测D通道的源标志位，同时遍历A通道队列，若在A通道队列中存在有效请求的源标志位与D通道的源标志位相同，说明该D通道数据对应的是该A通道读请求；

从源标志位一致的A通道请求中获得地址，读取内存参考模型中的数据；

比较从内存参考模型中读取的数据和DUT的读回数据，若不一致，则报错；

将已经比较过的A通道读请求从队列中删除。

7.根据权利要求3所述的一种二级缓存接口协议的验证方法，其特征在于，所述方法中，对C通道数据的检查流程如下：

当二级缓存向C通道发送传输时，检查器监测传输的类型和数据；

当传输类型是ProbeAckData或者ReleaseData时，通过传输的地址读取内存参考模型中的数据；

比较从内存参考模型中读取的数据和DUT的读回数据，若不一致，则报错。