【技术实现步骤摘要】
本公开涉及芯片验证，尤其是一种芯片的验证方法、装置、电子设备和存储介质。
技术介绍
1、在对芯片进行验证时，芯片制造厂商提供的描述芯片物理单元(也即物理标准单元，standard cell)的模型(也称代码)通常为行为级模型(behavior module，也可称为行为模型)，行为模型只适用于服务器上的simulator(模拟器)验证平台，不适用于emulator(仿真器)等模拟加速器验证平台。相关技术中，在需要通过模拟加速器验证平台对芯片进行验证时，通常需要修改芯片的底层标准单元代码(即行为级代码)，底层标准单元代码中的不可综合逻辑会导致芯片综合后的网表(netlist)电路功能与底层标准单元代码理论仿真功能不一致，而无法对物理单元的结构进行验证，导致芯片验证不充分。
技术实现思路
1、为了解决上述芯片验证不充分等技术问题，本公开的实施例提供了一种芯片的验证方法、装置、电子设备和存储介质，以在与行为模型行为逻辑一致的可综合模型的基础上实现在模拟加速器验证平台对芯片的验证，有助于提升芯片验证的充分性。
2、本公开的第一个方面，提供了一种芯片的验证方法，包括：获取待验证芯片的物理单元库，所述物理单元库包括所述待验证芯片的各物理单元分别对应的行为模型；将所述物理单元库，转换为可综合物理单元库；其中，所述可综合物理单元库包括满足目标验证平台的预设条件的可综合模型；所述可综合模型为能够被综合成网表的与所述行为模型的行为逻辑一致的模型；基于所述可综合物理单元库中的可综合模型，通过
3、本公开的第二个方面，提供了一种芯片的验证装置，包括：获取模块，用于获取待验证芯片的物理单元库，所述物理单元库包括所述待验证芯片的各物理单元分别对应的行为模型；第一处理模块，用于将所述物理单元库，转换为可综合物理单元库；其中，所述可综合物理单元库包括满足目标验证平台的预设条件的可综合模型；所述可综合模型为能够被综合成网表的与所述行为模型的行为逻辑一致的模型；第二处理模块，用于基于所述可综合物理单元库中的可综合模型，通过所述目标验证平台对所述待验证芯片进行验证，获得验证结果。
4、本公开的第三个方面，提供一种计算机可读存储介质，所述存储介质存储有计算机程序，所述计算机程序用于执行本公开上述任一实施例所述的芯片的验证方法。
5、本公开的第四个方面，提供一种电子设备，所述电子设备包括：处理器；用于存储所述处理器可执行指令的存储器；所述处理器，用于从所述存储器中读取所述可执行指令，并执行所述指令以实现本公开上述任一实施例所述的芯片的验证方法。
6、本公开的第五个方面，提供了一种计算机程序产品，当所述计算机程序产品中的指令被处理器执行时，执行本公开上述任一实施例提供的芯片的验证方法。
7、基于本公开上述实施例提供的芯片的验证方法、装置、电子设备和存储介质，通过将待验证芯片的物理单元的行为模型转换为满足目标验证平台的条件的可综合模型(synthetic model)，进而基于可综合模型，通过目标验证平台对待验证芯片进行验证，获得验证结果。实现了在不修改待验证芯片的原始设计代码的情况下，能够基于emulator等验证平台对待验证芯片进行验证，由于可综合模型与行为模型的行为逻辑是一致的，因此，可以保持待验证芯片综合后的网表电路功能与行为级代码理论仿真功能的一致性，从而不影响对待验证芯片的物理单元的结构的验证，有助于提高芯片验证的充分性。
本文档来自技高网...【技术保护点】
1.一种芯片的验证方法，包括：
2.根据权利要求1所述的方法，其中，所述将所述物理单元库，转换为可综合物理单元库，包括：
3.根据权利要求2所述的方法，其中，所述基于该行为模型的标识信息，确定该行为模型对应的转换规则，包括：
4.根据权利要求3所述的方法，还包括：
5.根据权利要求4所述的方法，其中，在输出该行为模型对应的提示信息之后，还包括：
6.根据权利要求2-5任一所述的方法，其中，所述将所述物理单元库，转换为可综合物理单元库，还包括：
7.根据权利要求6所述的方法，其中，所述对所述物理单元库和所述初始可综合物理单元库进行一致性验证，获得所述初始可综合物理单元库对应的一致性验证结果，包括：
8.根据权利要求7所述的方法，其中，所述基于所述第一验证结果和所述第二验证结果，确定所述一致性验证结果，包括：
9.根据权利要求2-5任一所述的方法，其中，所述基于该行为模型对应的转换规则，将该行为模型转换为可综合模型，包括：
10.一种芯片的验证装置，包括：
11.一
12.一种电子设备，所述电子设备包括：
...【技术特征摘要】
1.一种芯片的验证方法，包括：
2.根据权利要求1所述的方法，其中，所述将所述物理单元库，转换为可综合物理单元库，包括：
3.根据权利要求2所述的方法，其中，所述基于该行为模型的标识信息，确定该行为模型对应的转换规则，包括：
4.根据权利要求3所述的方法，还包括：
5.根据权利要求4所述的方法，其中，在输出该行为模型对应的提示信息之后，还包括：
6.根据权利要求2-5任一所述的方法，其中，所述将所述物理单元库，转换为可综合物理单元库，还包括：
7.根据权利要求6所述的方法，其中，所述对所述物理单元库和所述...
【专利技术属性】
技术研发人员：张震，
申请(专利权)人：地平线征程杭州人工智能科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。