验证环境的隔离方法技术

本公开涉及集成电路技术领域，提出一种验证环境的隔离方法

【技术实现步骤摘要】
验证环境的隔离方法、装置、电子设备及存储介质


[0001]本公开涉及集成电路
，尤其涉及一种验证环境的隔离方法
、
装置
、
电子设备及存储介质
。

技术介绍

[0002]在大规模集成电路的设计过程中，片上系统的总线互联的设计与验证是一个非常重要的环节
。
通过对系统总线互联进行验证，不仅可以快速扫清总线互联配置的错误，同时也能够快速得出总线在当前互联方式下的带宽和延迟数据，便于对总线互联方式进行调整
。
[0003]新一代集成电路片上系统功能复杂度提升之后，系统包括的子系统更多，而系统总线互联通常由多个子系统的子总线互联和系统主总线互联组成，因此总线互联方式也越发复杂，会有巨大数量级的通路存在，为了验证到所有数据通路，必须把所有的主机和从机都集成到一个总线互联验证环境中
。
验证环境类似于了一个复杂的网状结构，需要仿真验证的数据通路数量以及数据通路复杂性会严重拖慢仿真速度，对验证人力和验证进度也是极大的挑战
。

技术实现思路

[0004]有鉴于此，本公开提出了一种验证环境的隔离方法
、
装置
、
电子设备及存储介质，本公开实施例的验证环境的隔离方法，以子系统为粒度隔离验证环境，使多个子系统总线互联的验证可以并行独立开展，屏蔽不同子系统之间的影响，节约人力成本，提升验证效率
。
[0005]根据本公开的一方面，提供了一种验证环境的隔离方法，所述方法用于对验证环境进行隔离，所述验证环境是用于对系统的总线互联方式的正确性进行验证的环境，所述系统包括
X
个子系统，
X
是大于1的整数，每个子系统包括至少一个主机和
/
或至少一个从机，每个主机
/
从机对应一个验证
IP
，所述方法包括：针对每个子系统，分别构建与所述子系统对应的宏文件，所述宏文件包括与所述子系统相关联的验证
IP
的连接组件，且不包括与所述子系统不关联的验证
IP
的连接组件；关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
；在仿真命令中添加
Y
个子系统对应的宏文件，1＜
Y≤X
，
Y
是整数；执行所述仿真命令时，并行执行所述
Y
个子系统对应的宏文件，得到与所述
Y
个子系统分别对应的
Y
个执行结果，所述执行结果指示对应的子系统的总线互联方式的正确性
。
[0006]在一种可能的实现方式中，所述关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
之前，所述方法还包括：将所述系统包括的所有主机和所有从机的信息导入全局数据库；所述关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：调用所述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP。
[0007]在一种可能的实现方式中，所述验证
IP
的开关状态预设为开启状态，所述调用所
述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：根据与所述宏文件包括的连接组件无关的
、
带有正则匹配的标识的第一名称，调用第一方法对象，将与所述第一名称关联的所有验证
IP
的开关状态设置为关闭状态；调用第二方法对象，更新所述全局数据库中所述第一名称关联的验证
IP
的开关状态；调用第三方法对象，根据验证
IP
名称遍历查询所述全局数据库中所有验证
IP
的开关状态，建立开关状态设置为开启状态的验证
IP
；其中，所述第一名称，包括所述子系统的名称
、
所述主机的名称
、
所述从机的名称
、
所述主机所支持的总线协议类型
、
所述从机所支持的总线协议类型中的至少一个
。
[0008]在一种可能的实现方式中，所述验证
IP
的开关状态预设为开启状态，所述调用所述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：根据与所述宏文件包括的连接组件无关的
、
不带有正则匹配的标识的第二名称，调用第一方法对象，将与所述第二名称关联的所有验证
IP
的开关状态设置为关闭状态；调用第三方法对象，根据验证
IP
名称遍历查询所述全局数据库中所有验证
IP
的开关状态，建立开关状态设置为开启状态的验证
IP
；其中，所述第二名称，包括所述主机的名称
、
所述从机的名称中的至少一个
。
[0009]在一种可能的实现方式中，所述所有主机和所有从机的信息，包括主机所支持的总线协议类型
、
从机所支持的总线协议类型
、
位宽
、
突发类型
、
主机的验证
IP
的开关状态
、
从机的验证
IP
的开关状态
。
[0010]在一种可能的实现方式中，所述与所述子系统相关联的验证
IP
的连接组件，包括：与所述子系统包括的每一主机和所述主机支持的总线协议类型均关联的连接组件；以及与所述子系统包括的主机可访问的每一从机和所述从机支持的总线协议类型均关联的连接组件
。
[0011]在一种可能的实现方式中，所述总线协议类型包括高级可扩展接口
AXI
类型
、
高级外围总线
APB
类型
、
高级高性能总线
AHB
类型
。
[0012]根据本公开的另一方面，提供了一种验证环境的隔离装置，所述装置用于对验证环境进行隔离，所述验证环境是用于对系统的总线互联方式的正确性进行验证的环境，所述系统包括
X
个子系统，
X
是大于1的整数，每个子系统包括至少一个主机和
/
或至少一个从机，每个主机
/
从机对应一个验证
IP
，所述装置包括：定义模块，用于针对每个子系统，分别构建与所述子系统对应的宏文件，所述宏文件包括与所述子系统相关联的验证
IP
的连接组件，且不包括与所述子系统不关联的验证
IP
的连接组件；关闭模块，用于关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
；添加模块，用于在仿真命令中添加
Y
个子系统对应的宏文件，1＜
Y≤X本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种验证环境的隔离方法，其特征在于，所述方法用于对验证环境进行隔离，所述验证环境是用于对系统的总线互联方式的正确性进行验证的环境，所述系统包括
X
个子系统，
X
是大于1的整数，每个子系统包括至少一个主机和
/
或至少一个从机，每个主机
/
从机对应一个验证
IP
，所述方法包括：针对每个子系统，分别构建与所述子系统对应的宏文件，所述宏文件包括与所述子系统相关联的验证
IP
的连接组件，且不包括与所述子系统不关联的验证
IP
的连接组件；关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
；在仿真命令中添加
Y
个子系统对应的宏文件，1＜
Y≤X
，
Y
是整数；执行所述仿真命令时，并行执行所述
Y
个子系统对应的宏文件，得到与所述
Y
个子系统分别对应的
Y
个执行结果，所述执行结果指示对应的子系统的总线互联方式的正确性
。2.
根据权利要求1所述的方法，其特征在于，所述关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
之前，所述方法还包括：将所述系统包括的所有主机和所有从机的信息导入全局数据库；所述关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：调用所述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP。3.
根据权利要求2所述的方法，其特征在于，所述验证
IP
的开关状态预设为开启状态，所述调用所述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：根据与所述宏文件包括的连接组件无关的
、
带有正则匹配的标识的第一名称，调用第一方法对象，将与所述第一名称关联的所有验证
IP
的开关状态设置为关闭状态；调用第二方法对象，更新所述全局数据库中所述第一名称关联的验证
IP
的开关状态；调用第三方法对象，根据验证
IP
名称遍历查询所述全局数据库中所有验证
IP
的开关状态，建立开关状态设置为开启状态的验证
IP
；其中，所述第一名称，包括所述子系统的名称
、
所述主机的名称
、
所述从机的名称
、
所述主机所支持的总线协议类型
、
所述从机所支持的总线协议类型中的至少一个
。4.
根据权利要求2所述的方法，其特征在于，所述验证
IP
的开关状态预设为开启状态，所述调用所述全局数据库中的多个方法对象，关闭所述系统中与所述宏文件包括的连接组件无关的验证
IP
，包括：根据与所述宏文件包括的连接组件无关的
、
不带有正则匹配的标识的第二名称，调用第一方法对象，将与所述第二名称关联的所有验证...

【专利技术属性】
技术研发人员：请求不公布姓名，
申请(专利权)人：摩尔线程智能科技北京有限责任公司，
类型：发明
国别省市：