买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：深圳星云智联科技有限公司

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

主权项：1.一种先进先出队列验证系统，其特征在于，包括通用验证方法学平台以及待测设计，所述通用验证方法学平台包括模拟代理以及比较模块；待测设计用于提供先进先出队列的硬件逻辑；所述待测设计用于接收第一读操作以及第一写操作，通过所述先进先出队列对所述第一读操作以及所述第一写操作进行响应，生成第一读数据以及第一写数据，其中，所述第一读操作用于对所述先进先出队列中的第一存储地址中的数据进行读取，所述第一写操作用于对所述先进先出队列中的第二存储地址写入数据；所述模拟代理用于接收所述第一读操作以及第一写操作，通过对所述先进先出队列的行为进行模拟，从而对所述第一读操作以及第一写操作进行响应生成第二读数据以及第二写数据；所述比较模块用于在所述第一存储地址和所述第二存储地址相等的情况下，基于所述第一读数据和所述第一写数据，所述第二读数据和所述第二写数据，所述第一读数据和所述第二读数据是否都相等，确定验证是否通过；所述待测设计用于接收禁止读取操作以及持续写操作，通过所述先进先出队列对所述禁止读取操作以及持续写操作进行响应，生成第一验证响应；所述模拟代理用于接收禁止读取操作以及持续写操作，通过对所述先进先出队列的行为进行模拟，从而对所述禁止读取操作以及持续写操作进行响应，生成第二验证响应；所述比较模块用于将所述第一验证响应和所述第二验证响应进行比对，在所述第一验证响应和所述第二验证响应相同的情况下，确定验证通过；在所述第一验证响应和所述第二验证响应不相同的情况下，确定验证不通过；所述待测设计用于接收持续写操作，通过所述先进先出队列对所述持续写操作进行响应，生成第一写验证响应；所述模拟代理用于接收持续写操作，通过对所述先进先出队列的行为进行模拟，从而对所述持续写操作进行响应，生成第二写验证响应；所述比较模块用于将所述第一写验证响应和所述第二写验证响应进行比对，在所述第一写验证响应和所述第二写验证响应相同的情况下，确定验证通过；在所述第一写验证响应和所述第二写验证响应不相同的情况下，确定验证不通过；所述待测设计用于接收持续读操作，通过所述先进先出队列对所述持续读操作进行响应，生成第一读验证响应；所述模拟代理用于接收持续读操作，通过对所述先进先出队列的行为进行模拟，从而对所述持续读操作进行响应，生成第二读验证响应；所述比较模块用于将所述第一读验证响应和所述第二读验证响应进行比对，在所述第一读验证响应和所述第二读验证响应相同的情况下，确定验证通过；在所述第一读验证响应和所述第二读验证响应不相同的情况下，确定验证不通过。

全文数据：

权利要求：

百度查询： 深圳星云智联科技有限公司 先进先出队列验证系统、方法、设备以及集群