一种插入接口处理组件的芯片验证系统及方法与流程

本发明涉及芯片验证，尤其是一种插入接口处理组件的芯片验证系统及方法。

背景技术：

1、在芯片设计与验证阶段，一般从系统定义角度出发，从繁到简，从大到小，将芯片按照层次划分：芯片系统级-子系统级-模块级；相应地，仿真验证也分为：

2、1、芯片系统级验证：对这个芯片系统进行全面测试，包括功能、性能、安全性和兼容性等；

3、2、子系统级验证：验证由多个模块集成的子系统，关注接口协议和跨模块交互。

4、3、模块级验证：针对独立功能模块进行验证，以白盒测试为主，有利于尽早发现模块内部错误，减少系统级调试难度。

5、随着集成电路的发展，芯片规模越来越大，芯片复杂度也越来越高。子系统内部的模块可能又多又复杂，而且多模块都存在交互接口。模块级验证能够对模块内部功能进行较为充分的验证，但是模块之间的交互还需要在子系统中进一步验证。另外，从人力成本和时间精力的角度考虑，项目安排上可能无法做到对每个模块都做模块级的验证，那么也就存在部分模块将遗留到子系统级验证中，对于这些未经过模块验证的模块，在子系统验证中提高接口时序场景覆盖率，成为了一个关键问题。面对规模较大的子系统，验证环境想通过控制输入的激励在被测模块内部处理和模块间一级级流动后，来完全覆盖模块间的各种接口时序场景，变得非常困难。

技术实现思路

1、为克服现有技术的不足，本发明提出了一种插入接口处理组件的芯片验证系统及方法，使得验证环境可以直接控制被测设计内部的子模块间交互接口时序，基于丰富且有效的随机约束，更快速更全面的覆盖子模块间接口的各种时序。

2、本发明采用的技术方案是：

3、一种插入接口处理组件的芯片验证系统，包括被测模块、验证环境，所述被测模块包括若干子模块，所述子模块之间的连接路径上插入用于信号/消息的接收处理发送的接口处理组件；所述验证环境中创建有用于配置接口处理组件参数的实例化接口处理组件，所述实例化接口处理组件的主从接口分别与接口处理组件的主从接口一一对应连接。

4、进一步，所述接口处理组件包括依次连接的从接口、信号/消息处理模块、主接口，所述从接口、主接口、信号/消息处理模块的参数均由配置文件控制配置。

5、进一步，所述配置文件中的配置参数包括对从接口和主接口的时序控制变量、信号/消息处理模块中的各种功能开关控制变量，以及各种功能对应具体参数的控制变量。

6、进一步，所述时序控制变量、功能开关控制变量是随机产生或约束重载。

7、进一步，所述信号/消息处理模块包括

8、信号/消息缓存模块，用于接收并缓存若干信号或消息；

9、顺序改变模块，用于接收并积攒一堆从前级模块接收的信号或消息后，打乱信号或消息顺序，再发送给后级模块；

10、注错模块，用于sop丢失、eop丢失、消息内部特定域段注错；

11、打印模块，用于对接口信号或消息进行打印输出，为验证仿真过程中的定位调试提供了有效追踪信息；

12、监测模块，用于对接收到的信号或消息进行初步检查判断，可对于非预期的信号或消息报错提前终止仿真。

13、一种插入接口处理组件的芯片验证方法，其具体步骤如下：

14、s1 ，在被测模块的子模块之间插入n个接口处理组件；

15、s2，在验证环境中，实例化并创建n个实例化接口处理组件；

16、s3，将验证环境中n个实例化接口处理组件的从接口/主接口分别与被测模块中的n组从接口/主接口相连；

17、s4，在仿真初始化阶段，创建并随机验证环境中所有实例化接口处理组件的配置参数；

18、s5，在仿真运行阶段，接口处理组件在配置参数的控制下，在各个模块间发挥着接收-处理-发送的功能，进行各种测试场景的测试验证。

19、进一步，步骤s1中的n为被选取被测模块内部的较为关注的子模块的连接路径数量；或为被选取被测模块内部的所有子模块的连接路径数量；或被选取被测模块内部的子模块的子子模块间的连接路径数量。

20、进一步，步骤s4中的配置参数是相互独立、部分绑定协同或互斥。

21、进一步，步骤s4中的配置参数能约束重载。

22、本发明的有益效果：使得验证环境可以直接控制被测设计内部的子模块间交互接口时序，基于丰富且有效的随机约束，更快速更全面的覆盖子模块间接口的各种时序，加快芯片验证收敛速度。

1.一种插入接口处理组件的芯片验证系统，包括被测模块、验证环境，所述被测模块包括若干子模块，其特征在于：所述子模块之间的连接路径上插入用于信号/消息的接收处理发送的接口处理组件；所述验证环境中创建有用于配置接口处理组件参数的实例化接口处理组件，所述实例化接口处理组件的主从接口分别与接口处理组件的主从接口一一对应连接。

2.根据权利要求1所述一种插入接口处理组件的芯片验证系统，其特征在于：所述接口处理组件包括从接口、信号/消息处理模块、主接口，所述从接口、主接口、信号/消息处理模块的参数均由配置文件控制配置。

3.根据权利要求2所述一种插入接口处理组件的芯片验证系统，其特征在于：所述配置文件中的配置参数包括对从接口和主接口的时序控制变量、信号/消息处理模块中的各种功能开关控制变量，以及各种功能对应具体参数的控制变量。

4.根据权利要求3所述一种插入接口处理组件的芯片验证系统，其特征在于：所述时序控制变量、功能开关控制变量是随机产生或约束重载。

5.根据权利要求1所述一种插入接口处理组件的芯片验证系统，其特征在于：所述信号/消息处理模块包括

6.一种插入接口处理组件的芯片验证方法，其具体步骤如下：

7.根据权利要求6所述一种插入接口处理组件的芯片验证方法，其特征在于：步骤s1中的n为被选取被测模块内部的较为关注的子模块的连接路径数量；或为被选取被测模块内部的所有子模块的连接路径数量；或被选取被测模块内部的子模块的子子模块间的连接路径数量。

8.根据权利要求6所述一种插入接口处理组件的芯片验证方法，其特征在于：步骤s4中的配置参数是相互独立、部分绑定协同或互斥。

9.根据权利要求6所述一种插入接口处理组件的芯片验证方法，其特征在于：步骤s4中的配置参数能约束重载。