验证方法和装置制造方法及图纸

本申请涉及芯片验证技术领域，公开了验证方法和装置：响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；根据验证序列之间的执行关系约束信息，依次从UVM序列库中抽取出目标验证序列并执行。该实施方式提高了抽取的目标验证序列的有效性，进而提高了IC设计验证的收敛速度，同时提高了IC设计验证的覆盖率。

【技术实现步骤摘要】
验证方法和装置
本申请涉及电子
，具体涉及芯片验证
，尤其涉及一种验证方法和装置。
技术介绍
目前IC(IntegratedCircuit，集成电路)设计的前端验证过程中，随机验证序列的抽取方法是：首先基于UVM(UniversalVerificationMethodology，通用验证方法学)验证平台，将验证序列(典型场景)封装成一个个独立的uvmsequence；然后将得到的uvmsequence加入特定的uvmsequencelibrary；最后在运行testcase的时候，指定运行某一个uvmsequencelibrary，然后由UVM平台，自动在指定的uvmsequencelibrary中随机抽取uvmsequence运行，当前uvmsequence运行结束后，再随机抽取下一个uvmsequence运行，直到抽取的sequence个数满足用户要求为止。
技术实现思路
本申请实施例提供了一种验证方法、装置、设备以及存储介质。第一方面，本申请实施例提供了一种验证方法，该方法包括：响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；根据验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。第二方面，本申请实施例提供了一种验证装置，该装置包括：获取模块，被配置成响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；抽取模块，被配置成根据验证序列之间的执行关系约束信息，依次从UVM序列库中抽取出目标验证序列并执行。第三方面，本申请实施例提供了一种电子设备，该电子设备包括一个或多个处理器；存储装置，其上存储有一个或多个程序，当一个或多个程序被该一个或多个处理器执行，使得一个或多个处理器实现如第一方面的任一实施例的验证方法。第四方面，本申请实施例提供了一种计算机可读介质，其上存储有计算机程序，该程序被处理器执行时实现如第一方面的任一实施例的验证方法。本申请通过响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；根据验证序列之间的执行关系约束信息，依次从UVM序列库中抽取出目标验证序列并执行，实现了根据验证序列的执行关系约束信息进行抽取，避免了产生一些不合理的目标验证序列组合，提高了抽取的目标验证序列的有效性，进而提高了IC设计验证的收敛速度，同时提高了IC设计验证的覆盖率。应当理解，本部分所描述的内容并非旨在标识本公开的实施例的关键或重要特征，也不用于限制本公开的范围。本公开的其他特征将通过以下的说明书而变得容易理解。附图说明图1是本申请可以应用于其中的示例性系统架构图；图2是根据本申请的验证方法的一个实施例的流程图；图3是根据本申请的验证方法的一个应用场景的示意图；图4是根据本申请的验证方法的又一个实施例的流程图；图5是根据本申请的验证装置的一个实施例的示意图；图6是适于用来实现本申请实施例的服务器的计算机系统的结构示意图。具体实施方式以下结合附图对本申请的示范性实施例做出说明，其中包括本申请实施例的各种细节以助于理解，应当将它们认为仅仅是示范性的。因此，本领域普通技术人员应当认识到，可以对这里描述的实施例做出各种改变和修改，而不会背离本申请的范围和精神。同样，为了清楚和简明，以下的描述中省略了对公知功能和结构的描述。需要说明的是，在不冲突的情况下，本申请中的实施例及实施例中的特征可以相互组合。下面将参考附图并结合实施例来详细说明本申请。图1示出了可以应用本申请的验证方法的实施例的UVM验证平台的系统架构100。如图1所示，UVM验证平台的系统架构100可以包括被测器件DUT(DeviceUnderTest，被测器件)101、环境主体102、虚拟序列器103、记分牌104。其中，环境主体102中可以包括多个实体1021、1022，每个实体中包括驱动器Driver10211、10212，序列器Squencer10213、10214，检测器Monitor10215、10216。每个实体通过一个接口跟被测器件DUT101连接。序列器Squencer10211、10212负责产生测试序列，即验证序列，驱动器Driver10213、10214负责把测试序列转变为信号上面的数据流，并加载到被测器件DUT101，检测器负责把信号上面的数据流转换为序列。虚拟序列器103会安排各个子序列器按一定顺序执行。记分牌104会对每个实体收集到的报文进行记录比较。为了实现本申请的验证方法，将多个测试序列即验证序列注册在UVM序列库中，UVM序列库可以包括多个。其中，验证序列配置有执行关系约束信息。UVM验证平台在接收到运行验证实例的指令后，指定一个与验证实例对应的UVM序列库，根据验证序列之间的执行关系约束信息，在指定的UVM序列库中依次抽取出目标验证序列并执行以对被测对象进行验证。图2示出了可以应用于本申请的验证方法的实施例的流程示意图200。验证方法包括以下步骤：步骤201，响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库。在本实施例中，执行主体(如图1中所示的UVM验证平台100)在接收到运行验证实例的指令后，获取与验证实例相对应的通用验证方法学UVM序列库，其中，UVM序列库包括配置有执行关系约束信息的验证序列。这里，执行关系约束信息用于表征验证序列执行顺序的约束信息，例如，当前验证序列能否第一个执行、当前验证序列之后必须执行哪些序列等等，本申请对此不作限定。在一些可选的方式中，验证序列的执行关系约束信息包括：第一约束信息，用于指示必须在当前验证序列之前执行的验证序列所组成的第一序列集合；第二约束信息，用于指示禁止在当前验证序列之前执行的验证序列所组成的第二序列集合；第三约束信息，用于指示必须在当前验证序列之后执行的验证序列所组成的第三序列集合；第四约束信息，用于指示禁止在当前验证序列之后执行的验证序列所组成的第四序列结合。在本实现方式中，第一序列集合、第二序列集合、第三序列集合、第四序列集合分别可以为空，也可以不为空，本申请对此不作限定。其中，若当前验证序列的第一序列集合为空，则表明当前验证序列对在当前验证序列之前必须执行的序列无要求，即当前验证序列可以作为验证序列组合中的第一个验证序列。若当前验证序列的第二序列集合为空，则表明当前验证序列对禁止在当前序列之前执行的验证序列无要求，即UVM序列库中除当前验证序列之外的其余任一验证序列均可以在当前验证序列之前执行。若当前验证序列的第三序列集合为空，则表明当前验证序列对必须在当前验证序列之后执行的验证序列无要求，即UVM序列库中除当前验证序列之外任本文档来自技高网...

【技术保护点】
1.一种验证方法，所述方法包括：/n响应于检测到运行验证实例的指令，获取与所述验证实例对应的通用验证方法学UVM序列库，所述UVM序列库包括配置有执行关系约束信息的验证序列；/n根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。/n

【技术特征摘要】
1.一种验证方法，所述方法包括：
响应于检测到运行验证实例的指令，获取与所述验证实例对应的通用验证方法学UVM序列库，所述UVM序列库包括配置有执行关系约束信息的验证序列；
根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。


2.根据权利要求1所述的方法，其中，所述验证序列的执行关系约束信息包括：
第一约束信息，用于指示必须在当前验证序列之前执行的验证序列所组成的第一序列集合；
第二约束信息，用于指示禁止在当前验证序列之前执行的验证序列所组成的第二序列集合；
第三约束信息，用于指示必须在当前验证序列之后执行的验证序列所组成的第三序列集合；
第四约束信息，用于指示禁止在当前验证序列之后执行的验证序列所组成的第四序列集合。


3.根据权利要求2所述的方法，其中，所述根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行包括：
在所述UVM序列库中，获取第一序列集合为空的验证序列组成初次筛选序列集合；
在所述初次筛选序列集合中，随机抽取一个验证序列作为第一目标验证序列并执行；
执行抽取操作，所述抽取操作包括：基于所述第一目标验证序列的执行关系约束信息，在UVM序列库中随机抽取一个验证序列作为第二目标验证序列并执行，将所述第二目标验证序列作为新的第一目标验证序列并执行所述抽取操作。


4.根据权利要求1所述的方法，所述方法还包括：
响应于依次从所述UVM序列库中抽取出目标验证序列并执行的时长等于预设时长，停止目标验证序列抽取。


5.根据权利要求1所述的方法，所述方法还包括：
响应于依次从所述UVM序列库中抽取出目标验证序列并执行的时长小于预设时长，且抽取出的目标验证序列的数目等于预设数目，则继续根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。


6.根据权利要求1或2所述的方法，其中，在所述根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行之前，所述方法还包括：
响应于所述UVM序列库中存在执行关系约束信息存在冲突的验证序列，对所述执行关系约束信息存在冲突的验证序列进行校正。


7.根据权利要求1所述的方法，其中，所述根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行包括：
基于所述验证序列之间的执行关系约束信息以及参数接口接收的传递参数，依次从所述UVM序列库中抽取出目标验证序列并执行，所述传递参数用于指示序列的运行策略信息。


8.一种验证装置，所述装置包括：
获取模块，被配置成响应于检测到运行验证实例的指令，获取与所述验证实例对应的通用验证方法学UVM序列库，所述UVM序列库包...

【专利技术属性】
技术研发人员：李炎，
申请(专利权)人：北京百度网讯科技有限公司，
类型：发明
国别省市：北京;11