本申请公开了一种芯片仿真设计验证方法，包括：确定出包含待验证场景类型的验证需求，从预设断言库中获取与待验证场景类型对应的目标断言语句，根据待验证场景类型确定出相应的待验证代码类型，并筛选出与待验证代码类型对应的仿真设计代码片段作为待验证代码片段，仿真设计代码片段为预先基于不同的代码类型对目标仿真芯片的仿真设计代码进行划分后得到的，将目标断言语句插入待验证代码片段，以便利用目标断言语句监测待验证代码片段是否为异常代码片段，并在监测到异常代码片段后确定出异常位置。通过本申请的上述技术方案，在芯片的复杂度提升的情况下，能够提高验证效率，基于断言验证有效增加定位错误的速度，并提高仿真结果的准确性。提高仿真结果的准确性。提高仿真结果的准确性。
【技术实现步骤摘要】
一种芯片仿真设计验证方法、装置、设备及介质
[0001]本专利技术涉及计算机
，特别涉及一种芯片仿真设计验证方法、装置、设备及介质。
技术介绍
[0002]随着电路的集成度越来越高，给芯片验证工作带来了很多困难和挑战，芯片设计过程中，仿真验证占据过半以上工作量。传统的验证方法是利用激励生成器根据特定的约束产生随机化或定向激励，然后通过验证环境将生成的激励施加给待验设计，在仿真完成后，通过自动比对或手工方式查看结果文件和波形，确保仿真结果与预期结果一致。但是随着电路的集成度和复杂度的提升，定位错误的能力越来越低，从而导致消耗大量的仿真验证时间。
[0003]综上可见，如何增加定位错误的速度，增加验证效率并提高仿真结果的准确性是目前有待解决的问题。
技术实现思路
[0004]有鉴于此，本专利技术的目的在于提供一种芯片仿真设计验证方法、装置、设备及介质，能够增加定位错误的速度，增加验证效率并提高仿真结果的准确性。其具体方案如下：
[0005]第一方面，本申请公开了一种芯片仿真设计验证方法，包括：
[0006]确定出包含待验证场景类型的验证需求；
[0007]从预设断言库中获取与所述待验证场景类型对应的目标断言语句；
[0008]根据所述待验证场景类型确定出相应的待验证代码类型，并从目标仿真芯片的所有仿真设计代码片段中筛选出与所述待验证代码类型对应的仿真设计代码片段作为待验证代码片段；所述仿真设计代码片段为预先基于不同的代码类型对所述目标仿真芯片的仿真设计代码进行划分后得到的代码片段；
[0009]将所述目标断言语句插入所述待验证代码片段，以便利用所述目标断言语句监测所述待验证代码片段是否存在为异常代码片段，并在监测到所述异常代码片段后基于监测结果确定出相应的异常位置。
[0010]可选的，所述确定出包含待验证场景类型的验证需求之前，还包括：
[0011]获取所述目标仿真芯片的仿真设计代码，并确定所述仿真设计代码所能实现的不同场景类型下对应的不同代码功能；
[0012]基于不同的所述代码功能确定不同的代码类型，并建立所述场景类型与所述代码类型之间的映射关系；
[0013]基于不同的所述代码类型对所述仿真设计代码进行划分，以得到所述目标仿真芯片的所有仿真设计代码片段。
[0014]可选的，所述确定出包含待验证场景类型的验证需求，包括：
[0015]从所述仿真设计代码所能实现的不同场景类型中确定出待验证场景类型，并基于
所述待验证场景类型构建相应的验证需求；所述待验证场景类型包括对所述目标仿真芯片的电路功能进行验证的场景、对所述目标仿真芯片的接口功能进行验证的场景以及对所+述目标仿真芯片的应用程序功能验证的场景中的任意一种或几种的组合。
[0016]可选的，所述将所述目标断言语句插入所述待验证代码片段，包括：
[0017]将所述待验证代码片段中的目标位置作为待插入位置；
[0018]根据所述待插入位置将所述目标断言语句插入至所述待验证代码片段中的相应位置。
[0019]可选的，所述将所述待验证代码片段中的目标位置作为待插入位置，包括：
[0020]利用预设位置输入接口获取所述待验证代码片段中的目标位置，并将所述目标位置确定为待插入位置；
[0021]或，通过随机方式从所述待验证代码片段中随机确定出目标位置，并将所述目标位置确定为待插入位置；
[0022]或，根据所述待验证代码片段对应的代码类型，从所述待验证代码片段的所有代码语句中确定出目标代码语句，并将所述目标代码语句在所述待验证代码片段中的位置确定为待插入位置。
[0023]可选的，所述在监测到所述异常代码片段后确定出相应的异常位置，包括：
[0024]在监测到所述异常代码片段后，确定出所述异常代码片段对应的所述目标断言语句；
[0025]基于所述异常代码片段对应的所述目标断言语句的插入位置确定出所述异常代码片段的异常位置。
[0026]可选的，所述从预设断言库中获取与所述待验证场景类型对应的目标断言语句之前，还包括：
[0027]获取开放式验证库，并按照不同的场景类型对所述开放式验证库中的各断言语句进行分类；
[0028]对所述开放式验证库进行标注，以为所述开放式验证库中的各断言语句标注相应的所述场景类型；
[0029]相应的，所述从预设断言库中获取与所述待验证场景类型对应的目标断言语句，包括：
[0030]利用所述待验证场景类型对经过+标注后的所述开放式验证库进行查询，以得到与所述待验证场景类型对应的目标断言语句。
[0031]第二方面，本申请公开了一种芯片仿真设计验证装置，包括：
[0032]需求确定模块，用于确定出包含待验证场景类型的验证需求；
[0033]语句获取模块，用于从预设断言库中获取与所述待验证场景类型对应的目标断言语句；
[0034]代码片段确定模块，用于根据所述待验证场景类型确定出相应的待验证代码类型，并从目标仿真芯片的所有仿真设计代码片段中筛选出与所述待验证代码类型对应的仿真设计代码片段作为待验证代码片段；所述仿真设计代码片段为预先基于不同的代码类型对所述目标仿真芯片的仿真设计代码进行划分后得到的代码片段；
[0035]仿真验证模块，用于将所述目标断言语句插入所述待验证代码片段，以便利用所
述目标断言语句监测所述待验证代码片段是否存在为异常代码片段，并在监测到所述异常代码片段后基于监测结果确定出相应的异常位置。
[0036]第三方面，本申请公开了一种电子设备，包括：
[0037]存储器，用于保存计算机程序；
[0038]处理器，用于执行所述计算机程序，以实现前述的芯片仿真设计验证方法。
[0039]第四方面，本申请公开了一种计算机存储介质，用于保存计算机程序；其中，所述计算机程序被处理器执行时实现前述公开的芯片仿真设计验证方法的步骤。
[0040]本申请先确定出包含待验证场景类型的验证需求，从预设断言库中获取与所述待验证场景类型对应的目标断言语句，根据所述待验证场景类型确定出相应的待验证代码类型，并从目标仿真芯片的所有仿真设计代码片段中筛选出与所述待验证代码类型对应的仿真设计代码片段作为待验证代码片段；所述仿真设计代码片段为预先基于不同的代码类型对所述目标仿真芯片的仿真设计代码进行划分后得到的代码片段，将所述目标断言语句插入所述待验证代码片段，以便利用所述目标断言语句监测所述待验证代码片段是否为异常代码片段，并在监测到所述异常代码片段后确定出相应的异常位置。这样一来，本专利技术通过确定与验证需求中的待验证场景对应的代码类型，接着确定相应的待验证代码片段，将从预设+断言库中获取的目标断言语句插入至代码片段中以实现利用预设断言库进行芯片仿真设计中的断言验证的过程，此基于断言验证库的验证方法学能够有效解决传统验证方法定位错误位置不准确与效率低下的问题，增加验证的可观察性，能本文档来自技高网...
【技术保护点】
【技术特征摘要】
1.一种芯片仿真设计验证方法，其特征在于，包括：确定出包含待验证场景类型的验证需求；从预设断言库中获取与所述待验证场景类型对应的目标断言语句；根据所述待验证场景类型确定出相应的待验证代码类型，并从目标仿真芯片的所有仿真设计代码片段中筛选出与所述待验证代码类型对应的仿真设计代码片段作为待验证代码片段；所述仿真设计代码片段为预先基于不同的代码类型对所述目标仿真芯片的仿真设计代码进行划分后得到的代码片段；将所述目标断言语句插入所述待验证代码片段，以便利用所述目标断言语句监测所述待验证代码片段是否存在为异常代码片段，并在监测到所述异常代码片段后基于监测结果确定出相应的异常位置。2.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述确定出包含待验证场景类型的验证需求之前，还包括：获取所述目标仿真芯片的仿真设计代码，并确定所述仿真设计代码所能实现的不同场景类型下对应的不同代码功能；基于不同的所述代码功能确定不同的代码类型，并建立所述场景类型与所述代码类型之间的映射关系；基于不同的所述代码类型对所述仿真设计代码进行划分，以得到所述目标仿真芯片的所有仿真设计代码片段。3.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述确定出包含待验证场景类型的验证需求，包括：从所述仿真设计代码所能实现的不同场景类型中确定出待验证场景类型，并基于所述待验证场景类型构建相应的验证需求；所述待验证场景类型包括对所述目标仿真芯片的电路功能进行验证的场景、对所述目标仿真芯片的接口功能进行验证的场景以及对所述目标仿真芯片的应用程序功能进行验证的场景中的任意一种或几种的组合。4.根据权利要求1所述的芯片仿真设计验证方法，其特征在于，所述将所述目标断言语句插入所述待验证代码片段，包括：将所述待验证代码片段中的目标位置作为待插入位置；根据所述待插入位置将所述目标断言语句插入至所述待验证代码片段中的相应位置。5.根据权利要求4所述的芯片仿真设计验证方法，其特征在于，所述将所述待验证代码片段中的目标位置作为待插入位置，包括：利用预设位置输入接口获取所述待验证代码片段中的目标位置，并将所述目标位置确定为待插入位置；或，通过随机方式从所述待验证代码片段中随机确定出目标位置，并将所述目标位置确定为待插入位置；或，根据所述...
【专利技术属性】
技术研发人员：丁敏刚，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。