[发明专利]集成电路模块间协同工作的验证系统及验证方法

权利要求书

1.一种集成电路模块间协同工作的验证系统，其特征在于，包括：激励模型、功能模拟模型、互联电路模型、存储器模型以及计分板，其中，

所述激励模型，用于产生被测电路模块的指令集合、互联电路模型配置信息以及存储器模型配置信息，并将所述指令集合分别发送至主机电路模块和所述功能模拟模型，将所述存储器模型配置信息分别发送至所述存储器模型和所述功能模拟模型，将所述互联电路配置信息分别发送至所述互联电路模型和所述功能模拟模型；

其中，所述被测电路模块包括所述主机电路模块和从机电路模块，所述主机电路模块用于根据所述指令集合发起操作并将主机操作实际值发送至所述计分板，所述从机电路模块用于通过所述互联电路模型与所述主机电路模块协同工作并将从机操作实际值发送至所述计分板；

所述功能模拟模型，用于模拟包括所述主机电路模块、所述从机电路模块、存储器、以及所述主机电路模块和所述从机电路模块之间互联电路的集成芯片的功能，在根据所述互联电路模型配置信息以及存储器模型配置信息完成配置之后，根据所述指令集合发起操作，并将操作期待值发送至所述计分板；

所述互联电路模型，用于根据所述互联电路配置信息，实现所述主机电路模块和所述从机电路模块的互联功能；

所述存储器模型，用于根据所述存储器模型配置信息，实现数据存储功能；

所述计分板，用于根据所述操作期待值、所述主机操作实际值和所述从机操作实际值，实现对所述主机电路模块和所述从机电路模块间协同工作的验证。

2.根据权利要求1所述的验证系统，其特征在于，还包括：主机集成电路芯核和从机集成电路芯核，其中，

所述主机集成电路芯核，用于将来自所述主机电路模块的信号转换为访问事务发送至所述互联电路模型，并将所述访问事务作为所述主机操作实际值发送至所述计分板，以及用于将在所述互联电路模型中监听到的目标反馈事务转换为信号发送至所述主机电路模块；

所述从机集成电路芯核，用于将在所述互联电路模型中监听到的目标访问事务转换为信号发送至所述从机电路模块，以及用于将来自所述从机电路模块的信号转换为反馈事务发送至所述互联电路模型，并将所述反馈事务作为所述从机操作实际值发送至计分板。

3.根据权利要求2所述的验证系统，其特征在于，

所述主机集成电路芯核中加载有主机协同序列处理子模块，所述主机协同序列处理子模块用于根据所述主机电路模块发起的访问事务的地址产生或者获取所述访问事务的反馈事务；

所述从机集成电路芯核中加载有从机协同序列处理子模块，所述从机协同序列处理子模块用于在所述互联电路模型中监听指向所述从机电路模块的访问事务，并将所述访问事务发送至所述从机电路模块中，以及在所述从机电路模块中获取所述访问事务的反馈事务发送至所述互联电路模型。

4.根据权利要求1所述的验证系统，其特征在于，所述从机电路模块中包括主机接口电路，所述主机接口电路用于将所述从机电路模块对访问事务的处理结果发送至所述存储器模型中进行存储。

5.根据权利要求1所述的验证系统，其特征在于，所述互联电路模型包括互联通道子模型和至少一个虚拟主机子模型，其中，

所述互联通道子模型，用于根据所述互联电路配置信息，实现所述主机电路模块和所述从机电路模块的互联功能；

所述虚拟主机子模型，用于模拟主机电路模块产生访问事务。

6.根据权利要求5所述的验证系统，其特征在于，所述互联通道子模型，还用于设置所述互联电路模型的延时信息和/或仲裁功能。

7.根据权利要求1所述的验证系统，其特征在于，还包括：检测模型，用于检测所述主机电路模块和所述从机电路模块的信号接口上的激励信号是否符合预设传输协议，和/或，用于判断所述主机电路模块和所述从机电路模块的中断输出信号是否符合预设时序。

8.根据权利要求1所述的验证系统，其特征在于，还包括：功能覆盖率分析模型，用于根据所述计分板收集的所述操作期待值、所述主机操作实际值和所述从机操作实际值，分析所述主机电路模块和所述从机电路模块间协同工作功能的覆盖率。