芯片信息验证方法、装置、设备、介质及程序产品

本公开提供了芯片信息验证方法、装置、电子设备、存储介质以及程序产品，涉及芯片技术领域，尤其涉及芯片设计技术领域以及形式验证技术领域。具体实现方案为：基于芯片的设计信息，生成参考信息，其中，参考信息包括芯片中用于传输信号的信号路径的标识信息；基于参考信息，对芯片的设计信息进行信息抽取，得到目标设计信息，其中，目标设计信息包括信号路径的属性信息；基于参考信息，获取在信号路径中传输的信号的约束信息；以及在约束信息为约束条件的情况下，基于目标设计信息，对信号路径的连接性进行形式验证，得到验证结果。