[发明专利]数据传输规则验证方法、装置、设备和存储介质

说明书

本申请提供一种数据传输规则验证方法、装置、设备和存储介质，该方法包括：获取待测设计的待测数据传输规则，所述待测数据传输规则中至少包括待测的两种事务类型；配置所述两种事务类型中第一传输事务的事务量为预设阈值，并生成所述第一传输事务的第一激励；分别发送所述第一传输事务的第一激励给所述待测设计，发送所述两种事务类型中的第二传输事务的第二激励给所述待测设计；分别获取所述待测设计针对所述第一激励和所述第二激励的传输结果信息，并基于所述传输结果信息验证所述待测设计关于所述待测数据传输规则的完备性。本申请可以提高芯片验证过程中对数据传输规则验证的准确性。

技术领域

本申请涉及芯片验证技术领域，具体而言，涉及一种数据传输规则验证方法、装置、设备和存储介质。

背景技术

芯片验证就是采用相应的验证语言、验证工具、验证方法，在芯片生产之前验证芯片设计是否符合芯片定义的需求规格，是否已经完全释放了风险，发现并更正相应的缺陷。

在芯片验证过程中，往往遇到针对设计中数据传输排序规则(ordering rule)进行验证的情况，排序规则例如PCIE(peripheral component interconnect express，一种高速串行计算机扩展总线标准)协议中规定：转发事务必须可以超过非转发事务(P mustbe able to pass NP)，针对这样的排序规则，需要对这些规则进行完备性验证，以验证芯片设计是否符合上述规则。通常的排序规则验证方法采用大量随机的方式，模拟随机场景的激励给待测芯片设计，然后根据待测芯片设计的输出结果，来检验是否符合上述排序规则。

但是，在实际场景中，上述方式很难覆盖到所有具体的场景，因此激励的种类也就无法覆盖到所有的可能的情况，因此验证结果准确性有待提高。

发明内容

本申请实施例的目的在于提供一种数据传输规则验证方法、装置、设备和存储介质，可以提高芯片验证过程中对数据传输规则验证的准确性。

本申请实施例第一方面提供了一种数据传输规则验证方法，包括：获取待测设计的待测数据传输规则，所述待测数据传输规则中至少包括待测的两种事务类型；配置所述两种事务类型中第一传输事务的事务量为预设阈值，并生成所述第一传输事务的第一激励；分别发送所述第一传输事务的第一激励给所述待测设计，发送所述两种事务类型中第二传输事务的第二激励给所述待测设计；分别获取所述待测设计针对所述第一激励和所述第二激励的传输结果信息，并基于所述传输结果信息验证所述待测设计关于所述待测数据传输规则的完备性。

于一实施例中，所述预设阈值为0；所述配置所述第一传输事务的事务量为预设阈值，包括：在验证环境中配置所述待测设计允许传输所述第一传输事务的事务量为0。

于一实施例中，所述在验证环境中配置所述待测设计允许传输所述第一传输事务的事务量为0，包括：在所述验证环境中配置所述待测设计的所述第一传输事务的信用量为0。

于一实施例中，所述在验证环境中配置所述待测设计允许传输所述第一传输事务的事务量为0，包括：在所述验证环境中配置所述待测设计对所述第一传输事务的使能驱动信号为0。

于一实施例中，所述分别发送所述第一传输事务的第一激励给所述待测设计，发送所述第二传输事务的第二激励给所述待测设计，包括：先发送所述第一传输事务的第一激励给所述待测设计，然后发送所述第二传输事务的第二激励给所述待测设计。

于一实施例中，在所述然后发送所述第二传输事务的第二激励给所述待测设计之前，还包括：发送所述第一传输事务的第一激励给所述待测设计后，等待预设时长。

于一实施例中，所述待测数据传输规则中还包括：所述第一传输事务与所述第二传输事务之间的事务量要求；所述基于所述传输结果信息验证所述待测设计关于所述待测数据传输规则的完备性，包括：基于所述传输结果信息验证所述待测设计关于所述待测数据传输规则是否符合所述事务量要求。