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

一种验证方法及其系统、设备、存储介质和计算机程序产品，验证方法包括：获取第一配置信息，包括待测金属层中具有连接关系的相邻金属线的间距设计检查规则；获取第二配置信息，包括参数化单元，参数包括待验证连接关系的金属层选项及待测金属层中金属线的间距，金属层选项对应的金属层有连接关系，其中一层为待测金属层；根据设计规则检测文件、第一配置信息、第二配置信息和各参数的赋值进行验证操作；验证操作包括：对间距的赋值进行遍历，得到多种单元图形，单元图形的待测金属层包括相邻金属线，且间距的赋值包含满足间距要求和不满足间距要求的值；通过设计规则检测文件对单元图形进行设计规则检测。本发明能提高验证效率并降低验证成本。