地址变换模块的验证方法、装置、电子设备、存储介质及程序产品与流程

本公开涉及芯片验证领域，尤其涉及一种地址变换模块的验证方法、装置、电子设备、存储介质及程序产品。

背景技术：

1、芯片验证是确保芯片功能和性能符合设计要求的关键环节，通常先进行模块级验证，在模块级验证通过后再进行系统级验证，分层、分级地保障芯片设计的功能正确性、性能达标性和可靠性，逐步排查从基础功能模块到复杂系统集成的各类缺陷，最终确保芯片量产交付后能稳定满足应用需求。

2、地址变换模块（address mapping translation，amt）是片上系统（system onchip ，soc）上的一个硬件模块。它的核心作用是优化soc的片上网络（network on chip，noc）地址映射效率，支持地址哈希（hash）、通道交错（interleaving）、内存通道选择、基于服务质量（quality of service，qos）的访问优先级控制等。现有技术在完成地址变换模块的模块级验证后，需要人工调整系统级验证中与地址变换模块相关的配置，降低配置准确度和验证效率，难以应用于大规模的复杂场景的验证。

技术实现思路

1、有鉴于此，本公开提出了一种地址变换模块的验证方法、装置、电子设备、存储介质及程序产品。本公开实施例的验证方法使得地址变换模块的系统级验证和模块级验证复用相同的验证场景文件，无需人工配置，提高配置准确度和验证效率，可应用于大规模的复杂场景的验证。

2、根据本公开的一方面，提供了一种地址变换模块的验证方法，所述方法包括：根据知识产权ip模块验证环境和所述地址变换模块在验证场景下的激励，生成所述验证场景的验证场景文件，其中所述验证场景文件至少指示所述验证场景的配置信息和参考信息；基于片上系统soc验证环境和所述验证场景文件执行所述地址变换模块的验证。

3、在一种可能的实现方式中，所述基于片上系统soc验证环境和所述验证场景文件执行所述地址变换模块的验证，包括：将所述验证场景对应的参考信息输入soc参考模型，以获取所述地址变换模块的地址变换结果的参考值；根据所述验证场景对应的配置信息确定所述地址变换模块的地址变换结果的输出值；基于所述参考值和所述输出值之间的比较确定所述验证场景的验证是否通过。

4、在一种可能的实现方式中，基于所述参考值和所述输出值之间的比较确定所述验证场景的验证是否通过，包括：在所述参考值和所述输出值一致时，确定所述验证场景的验证通过；在所述参考值和所述输出值不一致时，确定所述验证场景的验证未通过。

5、在一种可能的实现方式中，所述方法还包括：构造用于输出所述验证场景文件的组件，所述组件被配置为：根据所述地址变换模块的代码，确定对所述地址变换模块进行验证使用的多个变量，将所述多个变量封装为类；针对所述验证场景，对所述类中的多个变量进行约束，以生成所述验证场景文件。

6、在一种可能的实现方式中，所述组件还被配置为：检测所述验证场景文件的生成过程是否出现异常操作。

7、在一种可能的实现方式中，所述方法还包括：定义所述验证场景文件的格式；提供所述地址变换模块进行地址变换所使用的调用接口函数；对所述配置信息和参考信息进行格式化和校验；创建所述验证场景文件，将格式化通过、校验通过的配置信息和参考信息写入所述验证场景文件。

8、在一种可能的实现方式中，所述知识产权ip模块验证环境是针对ip模块的验证环境，所述soc验证环境包括多个ip模块以及多个ip模块之间的互联通道。

9、在一种可能的实现方式中，所述验证场景包括多个不同验证场景，其中所述验证场景至少与所述地址变换模块的硬件构造、生成所述验证场景文件的约束条件、所述地址变换模块的哈希方式、所述地址变换模块的交错使能颗粒度、测试需求中的一种或多种相关联。

10、在一种可能的实现方式中，所述验证场景文件包括与所述验证场景对应的基于第一编程语言的文件、基于第二编程语言的文件，其中，所述基于第一编程语言的文件指示所述配置信息，所述基于第二编程语言的文件指示所述参考信息。

11、根据本公开的另一方面，提供了一种地址变换模块的验证装置，所述装置包括：第一验证模块，用于根据知识产权ip模块验证环境和所述地址变换模块在验证场景下的激励，生成所述验证场景的验证场景文件，其中所述验证场景文件至少指示所述验证场景的配置信息和参考信息；第二验证模块，用于基于片上系统soc验证环境和所述验证场景文件执行所述地址变换模块的验证。

12、在一种可能的实现方式中，所述基于片上系统soc验证环境和所述验证场景文件执行所述地址变换模块的验证，包括：将所述验证场景对应的参考信息输入soc参考模型，以获取所述地址变换模块的地址变换结果的参考值；根据所述验证场景对应的配置信息确定所述地址变换模块的地址变换结果的输出值；基于所述参考值和所述输出值之间的比较确定所述验证场景的验证是否通过。

13、在一种可能的实现方式中，基于所述参考值和所述输出值之间的比较确定所述验证场景的验证是否通过，包括：在所述参考值和所述输出值一致时，确定所述验证场景的验证通过；在所述参考值和所述输出值不一致时，确定所述验证场景的验证未通过。

14、在一种可能的实现方式中，所述装置用于构造用于输出所述验证场景文件的组件，所述组件被配置为：根据所述地址变换模块的代码，确定对所述地址变换模块进行验证使用的多个变量，将所述多个变量封装为类；针对所述验证场景，对所述类中的多个变量进行约束，以生成所述验证场景文件。

15、在一种可能的实现方式中，所述组件还被配置为：检测所述验证场景文件的生成过程是否出现异常操作。

16、在一种可能的实现方式中，所述装置还用于，定义所述验证场景文件的格式；提供所述地址变换模块进行地址变换所使用的调用接口函数；对所述配置信息和参考信息进行格式化和校验；创建所述验证场景文件，将格式化通过、校验通过的配置信息和参考信息写入所述验证场景文件。

17、在一种可能的实现方式中，所述知识产权ip模块验证环境是针对ip模块的验证环境，所述soc验证环境包括多个ip模块以及多个ip模块之间的互联通道。

18、在一种可能的实现方式中，所述验证场景包括多个不同验证场景，其中所述验证场景至少与所述地址变换模块的硬件构造、生成所述验证场景文件的约束条件、所述地址变换模块的哈希方式、所述地址变换模块的交错使能颗粒度、测试需求中的一种或多种相关联。

19、在一种可能的实现方式中，所述验证场景文件包括与所述验证场景对应的基于第一编程语言的文件、基于第二编程语言的文件，其中，所述基于第一编程语言的文件指示所述配置信息，所述基于第二编程语言的文件指示所述参考信息。

20、根据本公开另一方面，提供了一种电子设备，包括存储器、处理器及存储在存储器上的计算机程序，所述处理器执行所述计算机程序以实现上述方法的步骤。

21、根据本公开另一方面，提供了一种非易失性计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现上述方法的步骤。

22、根据本公开另一方面，提供了一种计算机程序产品，包括计算机程序，所述计算机程序被处理器执行时实现上述方法的步骤。

23、根据本公开实施例的地址变换模块的验证方法，根据知识产权ip模块验证环境和地址变换模块在验证场景下的激励，生成验证场景的验证场景文件，其中验证场景文件至少指示验证场景的配置信息和参考信息；基于片上系统soc验证环境和验证场景文件执行地址变换模块的验证。执行该方法能够使得地址变换模块的系统级验证和模块级验证复用相同的验证场景文件，无需人工配置，提高配置准确度和验证效率，可应用于大规模的复杂场景的验证。

24、本公开实施例的验证方法解决了传统验证策略的场景复用性低，环境搭建成本高，难以模拟复杂和超多种场景，仿真失败定位困难的问题。能实现soc多样化激励的快速生成，能够全面模拟各种复杂场景，覆盖地址变换模块在大规模soc中的各种工作状态，使验证更加充分，保障芯片架构在不同工况下的稳定性。解决了人工编写验证用例/场景代码时易出现的语法错误、逻辑漏洞、场景覆盖不全、参数配置错误等问题。该方法可以快速将模块级验证的场景复用到系统级验证，可以快速发现地址变换模块的问题并反馈给设计团队。解决了在soc大规模芯片验证中，传统方法由于场景生成手段有限，会存在场景生成错误（而非场景数量不足）导致的定位困难问题。

25、设计团队可依据验证的结果及时调整优化芯片设计，减少反复验证和修改的时间成本，相比传统验证方式，大幅缩短芯片从设计到量产的周期，加快芯片上市速度，提升企业在市场中的竞争力 。

26、本公开实施例的验证方法在模块级验证阶段就做好验证场景文件的标准化设计，让模块级验证阶段产出的验证场景文件能被系统级验证阶段直接复用，打通模块级验证和系统级验证的场景复用链路，避免系统级验证阶段重复编写同类场景，同时保证验证场景文件的兼容性、可配置性和可追溯性。既保留模块级验证阶段产出的场景的完整性，又适配系统级芯片的总线拓扑、地址映射、多模块并发等特性。大幅降低soc验证的开发成本与周期，保证地址变换模块功能在soc层级的一致性与正确性，提升soc系统级场景的覆盖度与有效性，优化soc验证的管理与追溯性。

27、根据下面参考附图对示例性实施例的详细说明，本公开的其它特征及方面将变得清楚。