用于验证待测设计的接口连接方法及相关设备技术

本公开提供一种用于验证待测设计的接口连接方法及相关设备，方法包括：调用第一层验证环境的第一接口文件；基于所述第一接口文件和bind语句生成第一连接文件，并基于第一连接文件将所述第一层验证环境连接至所述待测设计对应的第一层模块，以实现所述第一层验证环境与述第一层模块之间的数据传输；以及基于所述第一连接文件和所述第二层模块的接口设置生成第二层验证环境的接口配置文件，并将所述接口配置文件经由配置数据库传递至所述第二层验证环境。根据本公开，以实现接口的自动声明、连接和配置传递，从而提升开发效率，加快项目进度。目进度。目进度。

【技术实现步骤摘要】
用于验证待测设计的接口连接方法及相关设备


[0001]本公开涉及验证领域，尤其涉及一种用于验证待测设计的接口连接方法及相关设备。

技术介绍

[0002]在对寄存器传输级电路RTL(Register Transfer Level)的验证中，通常需要在顶层验证环境中对所有的接口(interface)进行声明、连接和配置传递。然而随着RTL设计越来越复杂，层次越来对多，可能一个复杂的芯片内部会由成百上千个子模块组成，那么对应的接口也会达到成百上千个，在顶层验证环境中仅声明接口就需要至少上千次，很容易遗漏出错。而且，芯片内部的例化路径层次冗长复杂，容易在接口连接和配置传递的过程中产生人为错误。此外，如果在验证平台顶层对其层次之下的所有接口进行声明、连接和配置传递的话，将存在大量的重复性工作，影响开发效率。

技术实现思路

[0003]有鉴于此，本公开的目的在于提出一种用于验证待测设计的接口连接方法及相关设备、程序产品。
[0004]根据本公开的第一方面，提供了一种验证环境中的接口连接方法，包括：
[0005]调用第一层验证本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于验证待测设计的接口连接方法，其特征在于，所述方法包括：调用第一层验证环境的第一接口文件；基于所述第一接口文件和bind语句生成第一连接文件，并基于第一连接文件将所述第一层验证环境连接至所述待测设计对应的第一层模块，以实现所述第一层验证环境与述第一层模块之间的数据传输；以及基于所述第一连接文件和所述第二层模块的接口设置生成第二层验证环境的接口配置文件，并将所述接口配置文件经由配置数据库传递至所述第二层验证环境；其中，所述第一层验证环境嵌套在所述第二层验证环境中，所述第一层模块嵌套于所述第二层模块中，所述第一层验证环境用于对所述第一层模块进行封装，以提供给所述第二层验证环境进行例化和重用，所述第二层验证环境用于对所述第二层模块进行封装，以提供给更顶层验证环境进行例化和重用；基于每层验证环境，编写测试用例以对所述待测设计中与所述每层验证环境所对应层次的模块进行仿真调试，从而完成对待测设计的验证。2.根据权利要求1所述的方法，其特征在于，还包括：基于所述第一层验证环境的agent组件配置所述接口的声明方式，所述agent组件嵌套在所述第一层验证环境中；基于所述接口的声明方式和预设接口连接方法在所述第一层验证环境中生成所述第一接口文件。3.根据权利要求2所述的方法，其特征在于，基于所述第一层验证环境的agent组件配置所述接口的声明方式，包括：在端口声明列表中配置所述agent组件中的数据类型成员。4.根据权利要求2所述的方法，其特征在于，还包括：在所述第二层验证环境中基于所述接口的声明方式和所述接口配置文件生成第二接口文件；基于所述第二接口文件和bind语句生成第二连接文件，并基于第二连接文件将所述第二层验证环境连接至所述待测设计对应的第二层模块，以实现所述第二层验证环境与述第二层模块之间的数据传输。5.根据权利要求1
‑
4中任一项所述的方法，其特征在于，所述接口配置文件包括接口配置宏和可重用连接文件，基于所述第一...

【专利技术属性】
技术研发人员：马骁，
申请(专利权)人：杭州云合智网技术有限公司，
类型：发明
国别省市：