验证代理生成方法、装置、电子设备和存储介质与流程

本申请涉及芯片设计制造，尤其涉及一种验证代理生成方法、装置、电子设备和存储介质。

背景技术：

1、通用验证方法学(universal verification methodology，uvm)为当前比较流行的验证技术。基于uvm的验证需要工程师根据自己需要验证的模块功能手动写验证代理(agent)代码来完成对待测试器件(design under test，dut)的激励。

2、相关技术中验证代理代码具有很强的专用性，需要验证工程师根据功能手动编写大量的约束代码，由于验证工程师对功能的理解可能会有错误，造成约束代码不准确，造成过约束，产生验证漏洞，遗漏程序错误(bug)。为避免过约束，需要验证工程师与设计工程师进行大量检查(review)，浪费了大量工作时间。

3、因此，如何提高待测试器件的验证效率成为业界亟待解决的技术问题。

技术实现思路

1、本申请提供一种验证代理生成方法、装置、电子设备和存储介质，用于解决如何提高待测试器件的验证效率的技术问题。

2、本申请提供一种验证代理生成方法，包括：

3、对待测试器件的微架构文档进行解析，提取所述待测试器件的接口信息；所述接口信息包含域段约束信息；

4、基于验证代理对应的组件类模板文件以及所述接口信息，生成所述验证代理中各个组件对应的代码，以及事务数据包对应的代码；所述事务数据包对应的代码包含所述域段约束信息对应的代码；

5、基于各个组件对应的代码，以及所述事务数据包对应的代码，确定所述验证代理对应的代码。

6、在一些实施例中，所述接口信息以结构化数据格式存储在所述微架构文档中。

7、在一些实施例中，所述接口信息包括接口名称、接口位宽信息、域段、域段对应的位宽信息，以及域段对应的域段约束信息。

8、在一些实施例中，所述域段约束信息以代码形式存储在所述接口信息中。

9、在一些实施例中，所述域段约束信息包括取值约束信息、分布约束信息和条件约束信息中的至少一种。

10、在一些实施例中，所述基于验证代理对应的组件类模板文件以及所述接口信息，生成所述验证代理中各个组件对应的代码，以及事务数据包对应的代码，包括：

11、将所述验证代理对应的各个组件类模板文件以及所述接口信息输入类生成器，得到所述类生成器输出的各个组件对应的代码，以及事务数据包对应的代码。

12、本申请提供一种验证代理生成装置，包括：

13、提取模块，用于对待测试器件的微架构文档进行解析，提取所述待测试器件的接口信息；所述接口信息包含域段约束信息；

14、生成模块，用于基于验证代理对应的组件类模板文件以及所述接口信息，生成所述验证代理中各个组件对应的代码，以及事务数据包对应的代码；所述事务数据包对应的代码包含所述域段约束信息对应的代码；

15、确定模块，用于基于各个组件对应的代码，以及所述事务数据包对应的代码，确定所述验证代理对应的代码。

16、本申请提供一种电子设备，包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现所述的验证代理生成方法。

17、本申请提供一种非暂态计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现所述的验证代理生成方法。

18、本申请提供一种计算机程序产品，包括计算机程序，所述计算机程序被处理器执行时实现所述的验证代理生成方法。

19、本申请实施例提供的验证代理生成方法，对待测试器件的微架构文档进行解析，提取待测试器件的接口信息；基于验证代理对应的组件类模板文件以及接口信息，生成验证代理中各个组件对应的代码，以及事务数据包对应的代码；基于各个组件对应的代码，以及事务数据包对应的代码，确定验证代理对应的代码；由于域段约束信息对应的代码直接根据微架构文档中的域段约束信息生成，相当于将微架构文档作为标准参考文件(golden文件)，保证了约束信息的准确性，使得验证工程师无需根据自己需要验证的模块功能手动编写验证代理代码，无需验证工程师与设计工程师进行检查，提高了待测试器件的验证效率。

技术特征：

1.一种验证代理生成方法，其特征在于，包括：

2.根据权利要求1所述的验证代理生成方法，其特征在于，所述接口信息以结构化数据格式存储在所述微架构文档中。

3.根据权利要求2所述的验证代理生成方法，其特征在于，所述接口信息包括接口名称、接口位宽信息、域段、域段对应的位宽信息，以及域段对应的域段约束信息。

4.根据权利要求3所述的验证代理生成方法，其特征在于，所述域段约束信息以代码形式存储在所述接口信息中。

5.根据权利要求4所述的验证代理生成方法，其特征在于，所述域段约束信息包括取值约束信息、分布约束信息和条件约束信息中的至少一种。

6.根据权利要求1至5任一项所述的验证代理生成方法，其特征在于，所述基于验证代理对应的组件类模板文件以及所述接口信息，生成所述验证代理中各个组件对应的代码，以及事务数据包对应的代码，包括：

7.一种验证代理生成装置，其特征在于，包括：

8.一种电子设备，包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1至6任一项所述的验证代理生成方法。

9.一种非暂态计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1至6任一项所述的验证代理生成方法。

10.一种计算机程序产品，包括计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1至6任一项所述的验证代理生成方法。

技术总结本申请提供一种验证代理生成方法、装置、电子设备和存储介质，涉及芯片设计制造技术领域，包括：对待测试器件的微架构文档进行解析，提取所述待测试器件的接口信息；所述接口信息包含域段约束信息；基于验证代理对应的组件类模板文件以及所述接口信息，生成所述验证代理中各个组件对应的代码，以及事务数据包对应的代码；所述事务数据包对应的代码包含所述域段约束信息对应的代码；基于各个组件对应的代码，以及所述事务数据包对应的代码，确定所述验证代理对应的代码。本申请提供的方法和装置，提高了待测试器件的验证效率。技术研发人员：请求不公布姓名受保护的技术使用者：上海壁仞科技股份有限公司技术研发日：技术公布日：2024/10/17