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

说明书

本申请公开了一种芯片仿真设计验证方法，包括：确定出包含待验证场景类型的验证需求，从预设断言库中获取与待验证场景类型对应的目标断言语句，根据待验证场景类型确定出相应的待验证代码类型，并筛选出与待验证代码类型对应的仿真设计代码片段作为待验证代码片段，仿真设计代码片段为预先基于不同的代码类型对目标仿真芯片的仿真设计代码进行划分后得到的，将目标断言语句插入待验证代码片段，以便利用目标断言语句监测待验证代码片段是否为异常代码片段，并在监测到异常代码片段后确定出异常位置。通过本申请的上述技术方案，在芯片的复杂度提升的情况下，能够提高验证效率，基于断言验证有效增加定位错误的速度，并提高仿真结果的准确性。

技术领域

本发明涉及计算机技术领域，特别涉及一种芯片仿真设计验证方法、装置、设备及介质。

背景技术

随着电路的集成度越来越高，给芯片验证工作带来了很多困难和挑战，芯片设计过程中，仿真验证占据过半以上工作量。传统的验证方法是利用激励生成器根据特定的约束产生随机化或定向激励，然后通过验证环境将生成的激励施加给待验设计，在仿真完成后，通过自动比对或手工方式查看结果文件和波形，确保仿真结果与预期结果一致。但是随着电路的集成度和复杂度的提升，定位错误的能力越来越低，从而导致消耗大量的仿真验证时间。

综上可见，如何增加定位错误的速度，增加验证效率并提高仿真结果的准确性是目前有待解决的问题。

发明内容

有鉴于此，本发明的目的在于提供一种芯片仿真设计验证方法、装置、设备及介质，能够增加定位错误的速度，增加验证效率并提高仿真结果的准确性。其具体方案如下：

第一方面，本申请公开了一种芯片仿真设计验证方法，包括：

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

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

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

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

可选的，所述确定出包含待验证场景类型的验证需求之前，还包括：

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

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

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

可选的，所述确定出包含待验证场景类型的验证需求，包括：

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

可选的，所述将所述目标断言语句插入所述待验证代码片段，包括：

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

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

可选的，所述将所述待验证代码片段中的目标位置作为待插入位置，包括：