[发明专利]一种芯片仿真设计验证方法、装置、设备及介质

权利要求书

1.一种芯片仿真设计验证方法，其特征在于，包括：

确定出包含待验证场景类型的验证需求；

从预设断言库中获取与所述待验证场景类型对应的目标断言语句；

根据所述待验证场景类型确定出相应的待验证代码类型，并从目标仿真芯片的所有仿真设计代码片段中筛选出与所述待验证代码类型对应的仿真设计代码片段作为待验证代码片段；所述仿真设计代码片段为预先基于不同的代码类型对所述目标仿真芯片的仿真设计代码进行划分后得到的代码片段；

将所述目标断言语句插入所述待验证代码片段，以便利用所述目标断言语句监测所述待验证代码片段是否存在为异常代码片段，并在监测到所述异常代码片段后基于监测结果确定出相应的异常位置。

2.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述确定出包含待验证场景类型的验证需求之前，还包括：

获取所述目标仿真芯片的仿真设计代码，并确定所述仿真设计代码所能实现的不同场景类型下对应的不同代码功能；

基于不同的所述代码功能确定不同的代码类型，并建立所述场景类型与所述代码类型之间的映射关系；

基于不同的所述代码类型对所述仿真设计代码进行划分，以得到所述目标仿真芯片的所有仿真设计代码片段。

3.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述确定出包含待验证场景类型的验证需求，包括：

从所述仿真设计代码所能实现的不同场景类型中确定出待验证场景类型，并基于所述待验证场景类型构建相应的验证需求；所述待验证场景类型包括对所述目标仿真芯片的电路功能进行验证的场景、对所述目标仿真芯片的接口功能进行验证的场景以及对所述目标仿真芯片的应用程序功能进行验证的场景中的任意一种或几种的组合。

4.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述将所述目标断言语句插入所述待验证代码片段，包括：

将所述待验证代码片段中的目标位置作为待插入位置；

根据所述待插入位置将所述目标断言语句插入至所述待验证代码片段中的相应位置。

5.根据权利要求4所述的芯片仿真设计验证方法，其特征在于，所述将所述待验证代码片段中的目标位置作为待插入位置，包括：

利用预设位置输入接口获取所述待验证代码片段中的目标位置，并将所述目标位置确定为待插入位置；

或，通过随机方式从所述待验证代码片段中随机确定出目标位置，并将所述目标位置确定为待插入位置；

或，根据所述待验证代码片段对应的代码类型，从所述待验证代码片段的所有代码语句中确定出目标代码语句，并将所述目标代码语句在所述待验证代码片段中的位置确定为待插入位置。

6.根据权利要求4所述的芯片仿真设计验证方法，其特征在于，所述在监测到所述异常代码片段后确定出相应的异常位置，包括：

在监测到所述异常代码片段后，确定出所述异常代码片段对应的所述目标断言语句；

基于所述异常代码片段对应的所述目标断言语句的插入位置确定出所述异常代码片段的异常位置。

7.根据权利要求1至6任一项所述的芯片仿真设计验证方法，其特征在于，所述从预设断言库中获取与所述待验证场景类型对应的目标断言语句之前，还包括：

获取开放式验证库，并按照不同的场景类型对所述开放式验证库中的各断言语句进行分类；

对所述开放式验证库进行标注，以为所述开放式验证库中的各断言语句标注相应的所述场景类型；

相应的，所述从预设断言库中获取与所述待验证场景类型对应的目标断言语句，包括：

利用所述待验证场景类型对经过标注后的所述开放式验证库进行查询，以得到与所述待验证场景类型对应的目标断言语句。