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

权利要求书

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序列库包括配置有执行关系约束信息的验证序列，所述执行关系约束信息为用于表征验证序列执行顺序的约束信息；

抽取模块，被配置成根据所述验证序列之间的执行关系约束信息，依次从所述UVM序列库中抽取出目标验证序列并执行。

9.根据权利要求8所述的装置，其中，所述验证序列的执行关系约束信息包括：

第一约束信息，用于指示必须在当前验证序列之前执行的验证序列所组成的第一序列集合；

第二约束信息，用于指示禁止在当前验证序列之前执行的验证序列所组成的第二序列集合；

第三约束信息，用于指示必须在当前验证序列之后执行的验证序列所组成的第三序列集合；

第四约束信息，用于指示禁止在当前验证序列之后执行的验证序列所组成的第四序列集合。