先进先出队列验证系统、方法、设备以及集群技术方案

技术编号：42337730 阅读：5 留言：0更新日期：2024-08-14 16:14

本申请提供了一种先进先出队列验证系统、方法、设备以及集群。所述系统包括：待测设计用于接收第一读操作以及第一写操作，通过先进先出队列对第一读操作及第一写操作进行响应，生成第一读数据以及第一写数据；模拟代理用于接收第一读操作以及第一写操作，通过对先进先出队列的行为进行模拟，从而对第一读操作以及第一写操作进行响应生成第二读数据以及第二写数据；比较模块用于在第一存储地址和第二存储地址相等的情况下，基于第一读数据和第一写数据，第二读数据和第二写数据，第一读数据和第二读数据是否都相等，确定验证是否通过。

全部详细技术资料下载

【技术实现步骤摘要】

本申请涉及计算机领域，尤其涉及一种先进先出队列验证系统、方法、设备以及集群。

技术介绍

1、先进先出队列（first in first out，fifo）是一种基本的数据结构，它按照元素进入队列的顺序来处理元素。在这种队列中，最先进入队列的元素将会最先被移除。这种数据结构类似于现实生活中的排队等候，最先排队的人将会最先得到服务。先进先出队列在使用之前，必须先对其准确性进行验证。一旦先进先出队列出现问题，将会导致非常严重的问题。

技术实现思路

1、第一方面，提供了一种先进先出队列验证系统，包括通用验证方法学平台以及待测设计，所述通用验证方法学平台包括模拟代理以及比较模块；

2、待测设计用于提供先进先出队列的硬件逻辑；

3、所述待测设计用于接收第一读操作以及第一写操作，通过所述先进先出队列对所述第一读操作以及所述第一写操作进行响应，生成第一读数据以及第一写数据，其中，所述第一读操作用于对所述先进先出队列中的第一存储地址中的数据进行读取，所述第一写操作用于对所述先进先出队列中的第二存储地址写入数据；

4、所述模拟代理用于接收所述第一读操作以及第一写操作，通过对所述先进先出队列的行为进行模拟，从而对所述第一读操作以及第一写操作进行响应生成第二读数据以及第二写数据；

5、所述比较模块用于在所述第一存储地址和所述第二存储地址相等的情况下，基于所述第一读数据和所述第一写数据，所述第二读数据和所述第二写数据，所述第一读数据和所述第二读数据是否都相等，确定验证是否通过。

6、在一些可能的设计中，在所述第一存储地址和所述第二存储地址不相等的情况下，基于所述第一读数据和所述第二读数据，所述第一写数据和所述第二写数据是否都相等，确定验证是否通过。

7、在一些可能的设计中，所述模拟代理用于获取所述先进先出队列的指标，基于所述指标对所述先进先出队列的行为进行模拟，其中，所述指标包括队列深度、队列位宽、队列类型中的一种或者多种。

8、在一些可能的设计中，在所述待测设计包括多个先进先出队列的情况下，所述模拟代理分别根据所述多个先进先出队列各自的指标，对各个先进先出队列的行为进行模拟，从而对多个先进先出队列分别进行验证。

9、在一些可能的设计中，所述待测设计用于接收禁止读取操作以及持续写操作，通过所述先进先出队列对所述禁止读取操作以及持续写操作进行响应，生成第一验证响应；

10、所述模拟代理用于接收禁止读取操作以及持续写操作，通过对所述先进先出队列的行为进行模拟，从而对所述禁止读取操作以及持续写操作进行响应，生成第二验证响应；

11、所述比较模块用于将所述第一验证响应和所述第二验证响应进行比对，在所述第一验证响应和所述第二验证响应相同的情况下，确定验证通过；在所述第一验证响应和所述第二验证响应不相同的情况下，确定验证不通过。

12、在一些可能的设计中，所述待测设计用于接收持续写操作，通过所述先进先出队列对所述持续写操作进行响应，生成第一写验证响应；

13、所述模拟代理用于接收持续写操作，通过对所述先进先出队列的行为进行模拟，从而对所述持续写操作进行响应，生成第二写验证响应；

14、所述比较模块用于将所述第一写验证响应和所述第二写验证响应进行比对，在所述第一写验证响应和所述第二写验证响应相同的情况下，确定验证通过；在所述第一写验证响应和所述第二写验证响应不相同的情况下，确定验证不通过。

15、在一些可能的设计中，所述待测设计用于接收持续读操作，通过所述先进先出队列对所述持续读操作进行响应，生成第一读验证响应；

16、所述模拟代理用于接收持续读操作，通过对所述先进先出队列的行为进行模拟，从而对所述持续读操作进行响应，生成第二读验证响应；

17、所述比较模块用于将所述第一读验证响应和所述第二读验证响应进行比对，在所述第一读验证响应和所述第二读验证响应相同的情况下，确定验证通过；在所述第一读验证响应和所述第二读验证响应不相同的情况下，确定验证不通过。

18、第二方面，提供了一种验证方法，应用于先进先出队列验证系统，所述先进先出队列验证系统包括通用验证方法学平台以及待测设计，所述通用验证方法学平台包括模拟代理以及比较模块，待测设计用于提供先进先出队列的硬件逻辑；所述方法包括：

19、向所述待测设计发送第一读操作以及第一写操作，并接收所述待测设计通过所述先进先出队列对所述第一读操作以及所述第一写操作进行响应，生成的第一读数据以及第一写数据，其中，所述第一读操作用于对所述先进先出队列中的第一存储地址中的数据进行读取，所述第一写操作用于对所述先进先出队列中的第二存储地址写入数据；

20、通过所述模拟代理接收所述第一读操作以及第一写操作，对所述先进先出队列的行为进行模拟，从而对所述第一读操作以及第一写操作进行响应生成第二读数据以及第二写数据；

21、通过所述比较模块在所述第一存储地址和所述第二存储地址相等的情况下，基于所述第一读数据和所述第一写数据，所述第二读数据和所述第二写数据，所述第一读数据和所述第二读数据是否都相等，确定验证是否通过。

22、第三方面，提供了一种计算设备，包括处理器以及存储器，其中，所述存储器用于存储指令，所述指令被所述处理器执行时，用于实现如第二方面所述的方法。

23、第四方面，提供了一种计算设备集群，包括至少一个计算设备，所述计算设备包括处理器以及存储器，其中，所述存储器用于存储指令，所述指令被所述处理器执行时，用于实现如第二方面所述的方法。

本文档来自技高网...

【技术保护点】

1.一种先进先出队列验证系统，其特征在于，包括通用验证方法学平台以及待测设计，所述通用验证方法学平台包括模拟代理以及比较模块；

2.根据权利要求1所述的系统，其特征在于，

3.根据权利要求1所述的系统，其特征在于，

4.根据权利要求3所述的系统，其特征在于，

5.根据权利要求1至3任一项所述的系统，其特征在于，

6.根据权利要求1至3任一项所述的系统，其特征在于，

7.根据权利要求1至3任一项所述的系统，其特征在于，

8.一种验证方法，其特征在于，应用于先进先出队列验证系统，所述先进先出队列验证系统包括通用验证方法学平台以及待测设计，所述通用验证方法学平台包括模拟代理以及比较模块，待测设计用于提供先进先出队列的硬件逻辑；所述方法包括：

9.一种计算设备，其特征在于，包括处理器以及存储器，其中，所述存储器用于存储指令，所述指令被所述处理器执行时，用于实现如权利要求8所述的方法。

10.一种计算设备集群，其特征在于，包括至少一个计算设备，所述计算设备包括处理器以及存储器，其中，

...

【技术特征摘要】