[发明专利]验证方法和装置

说明书

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

技术领域

本申请涉及电子技术领域，具体涉及芯片验证技术领域，尤其涉及一种验证方法和装置。

背景技术

目前IC(Integrated Circuit，集成电路)设计的前端验证过程中，随机验证序列的抽取方法是：首先基于UVM(Universal Verification Methodology，通用验证方法学)验证平台，将验证序列(典型场景)封装成一个个独立的uvm sequence；然后将得到的uvmsequence加入特定的uvm sequence library；最后在运行test case的时候，指定运行某一个uvm sequence library，然后由UVM平台，自动在指定的uvm sequence library中随机抽取uvm sequence运行，当前uvm sequence运行结束后，再随机抽取下一个uvm sequence运行，直到抽取的sequence个数满足用户要求为止。

发明内容

本申请实施例提供了一种验证方法、装置、设备以及存储介质。

第一方面，本申请实施例提供了一种验证方法，该方法包括：响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；根据验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。

第二方面，本申请实施例提供了一种验证装置，该装置包括：获取模块，被配置成响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；抽取模块，被配置成根据验证序列之间的执行关系约束信息，依次从UVM序列库中抽取出目标验证序列并执行。

第三方面，本申请实施例提供了一种电子设备，该电子设备包括一个或多个处理器；存储装置，其上存储有一个或多个程序，当一个或多个程序被该一个或多个处理器执行，使得一个或多个处理器实现如第一方面的任一实施例的验证方法。

第四方面，本申请实施例提供了一种计算机可读介质，其上存储有计算机程序，该程序被处理器执行时实现如第一方面的任一实施例的验证方法。

本申请通过响应于检测到运行验证实例的指令，获取与验证实例对应的通用验证方法学UVM序列库，UVM序列库包括配置有执行关系约束信息的验证序列；根据验证序列之间的执行关系约束信息，依次从UVM序列库中抽取出目标验证序列并执行，实现了根据验证序列的执行关系约束信息进行抽取，避免了产生一些不合理的目标验证序列组合，提高了抽取的目标验证序列的有效性，进而提高了IC设计验证的收敛速度，同时提高了IC设计验证的覆盖率。

应当理解，本部分所描述的内容并非旨在标识本公开的实施例的关键或重要特征，也不用于限制本公开的范围。本公开的其他特征将通过以下的说明书而变得容易理解。

附图说明

图1是本申请可以应用于其中的示例性系统架构图；

图2是根据本申请的验证方法的一个实施例的流程图；

图3是根据本申请的验证方法的一个应用场景的示意图；

图4是根据本申请的验证方法的又一个实施例的流程图；

图5是根据本申请的验证装置的一个实施例的示意图；

图6是适于用来实现本申请实施例的服务器的计算机系统的结构示意图。

具体实施方式