验证方法及其系统、设备、存储介质和计算机程序产品

一种验证方法及其系统、设备、存储介质和计算机程序产品，验证方法包括：至少获取处于第一状态和第二状态中任一状态的版图，版图包括器件图形，器件图形包括具有预设连接性关系的端口，在第一状态的版图中，预设连接性关系为端口之间相互断路，在第二状态的版图中，预设连接性关系为端口之间通过预设连接层图形相互短路；通过设计规则检查文件对任一状态的版图中的端口之间的连接性关系进行设计规则检查，获得检查结果，设计规则检查文件中定义有端口与预设连接层图形的连接规则；根据检查结果对设计规则检查文件进行验证。本发明提高了对设计规则检查文件的验证效率和验证质量。