本申请实施例涉及仿真验证,尤其是涉及一种检查器控制方法、验证系统、计算机设备以及存储介质。
背景技术:
1、芯片设计是指用于asic(application specific integrated circuit,专用集成电路)、soc(system-on-chip,片上系统芯片)等集成电路的设计。为验证芯片设计是否符合预期,需要对芯片设计进行验证;例如,构建并利用验证环境对芯片设计的代码进行验证,从而验证芯片设计的代码是否符合预期。
2、在对芯片设计的验证过程中,可以利用检查器,在验证环境中检查设计模块是否按照预期工作。检查器作为验证环境验证芯片设计的重要组件,需要对检查器进行控制以更高效的完成芯片设计的验证工作。因此如何提供检查器控制方案,以对检查器的控制进行优化,从而提升验证效率,成为了本领域技术人员亟需解决的技术问题。
技术实现思路
1、有鉴于此,本申请实施例提供了一种检查器控制方法、验证系统、计算机设备以及存储介质,本申请实施例简化了对检查器的控制流程,提升了验证效率。
2、为实现上述目的,本申请实施例提供如下技术方案。
3、第一方面,本申请实施例提供一种检查器控制方法,包括:
4、获取检查器控制参数,所述检查器控制参数定义有验证环境中检查器的被控路径以及控制命令;
5、基于所述被控路径,确定所述验证环境中的目标设计模块;
6、以及,基于所述控制命令,对所述目标设计模块的设计接口所绑定的验证接口中的检查器进行控制;
7、其中,验证环境例化有基于验证组件的验证组件实例;所述验证组件的验证接口上定义用于例化检查器的检查器定义文件,并且所述验证组件实例所例化的验证接口,绑定到所述验证组件实例对应的设计模块的设计接口;所述验证组件实例所例化的验证接口相应例化有基于所述检查器定义文件的检查器。
8、第二方面,本申请实施例提供一种验证系统,包括:
9、验证环境;验证环境例化有基于验证组件的验证组件实例;所述验证组件的验证接口上定义用于例化检查器的检查器定义文件,并且所述验证组件实例所例化的验证接口,绑定到所述验证组件实例对应的设计模块的设计接口;
10、其中,所述验证组件实例所例化的验证接口相应例化有基于所述检查器定义文件的检查器;所述检查器基于第一方面所述的检查器控制方法进行控制。
11、第三方面,本申请实施例提供一种计算机设备,所述计算机设备用于设计的仿真验证,所述计算机设备包括至少一个存储器和至少一个处理器,所述存储器存储有一条或多条计算机可执行指令,所述处理器调用所述一条或多条计算机可执行指令,以执行如上述第一方面所述的检查器控制方法。
12、第四方面,本申请实施例提供一种存储介质,所述存储介质存储有用于设计的仿真验证的一条或多条计算机可执行指令,所述一条或多条计算机可执行指令被执行时,实现如上述第一方面所述的检查器控制方法。
13、本申请实施例中公开了一种检查器控制方法,其中包括获取检查器控制参数,所述检查器控制参数定义有验证环境中检查器的被控路径以及控制命令;基于所述被控路径,确定所述验证环境中的目标设计模块;以及,基于所述控制命令,对所述目标设计模块的设计接口所绑定的验证接口中的检查器进行控制。本申请实施例中在验证组件(uvc,universal verification component)对应的验证接口上定义有检查器定义文件,从而根据同一份检查器定义文件就能实现对不同的验证接口实例中的检查器进行控制,避免在不同的检查器定义文件中对不同的验证接口实例中的检查器逐个修改,简化了对检查器的控制流程,提升了验证效率。
1.一种检查器控制方法,其特征在于,包括:
2.根据权利要求1所述的检查器控制方法,其特征在于,所述检查器包括一个或多个检查器属性;所述控制命令包括被控检查器的目标属性,以及目标属性状态。
3.根据权利要求2所述的检查器控制方法,其特征在于,所述基于所述控制命令,对所述目标设计模块的设计接口所绑定的验证接口中的检查器进行控制,包括:
4.根据权利要求3所述的检查器控制方法,其特征在于,所述确定所述目标属性对应的控制信号,包括:
5.根据权利要求4所述的检查器控制方法,其特征在于,还包括:针对检查器的任一属性,为所述属性的开关控制定义电路行为,所述电路行为由控制
6.根据权利要求1所述的检查器控制方法,其特征在于,所述获取检查器控制参数包括:
7.根据权利要求6所述的检查器控制方法,其特征在于,所述将所述检查器控制参数划分为多个子数组,包括:
8.根据权利要求7所述的检查器控制方法,其特征在于,所述将所述命令行字符串拆分为多个子数组包括:
9.根据权利要求8所述的检查器控制方法,其特征在于,所述获取检查器控制参数,还包括:
10.根据权利要求9所述的检查器控制方法,其特征在于,执行所述基于所述控制命令,对所述目标设计模块的设计接口所绑定的验证接口中的检查器进行控制的步骤,包括:
11.根据权利要求1所述的检查器控制方法,其特征在于,在获取检查器控制参数之前,还包括:
12.一种验证系统,其特征在于,包括:验证环境;所述验证环境例化有基于验证组件的验证组件实例;所述验证组件的验证接口上定义用于例化检查器的检查器定义文件,并且所述验证组件实例所例化的验证接口,绑定到所述验证组件实例对应的设计模块的设计接口;
13.一种计算机设备,其特征在于,所述计算机设备用于设计的仿真验证,所述计算机设备包括至少一个存储器和至少一个处理器,所述存储器存储有一条或多条计算机可执行指令,所述处理器调用所述一条或多条计算机可执行指令,以执行如权利要求1-11任一项所述的检查器控制方法。
14.一种存储介质,其特征在于,所述存储介质存储有用于设计的仿真验证的一条或多条计算机可执行指令,所述一条或多条计算机可执行指令被执行时,实现如权利要求1-11任一项所述的检查器控制方法。