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

一种验证方法及其系统、设备、存储介质和计算机程序产品，验证方法包括：获取第一配置信息，包括金属线的间距设计规则；获取第二配置信息，包括金属线的参数化单元，参数至少包括相邻金属线之间的电压差、金属线间距和电压信息标识的开关选项；根据DRC文件、第一配置信息、第二配置信息以及各参数的赋值生成用于执行验证操作的验证指令；验证操作包括：根据间距设计规则对电压差和间距的赋值的组合进行遍历，且使相邻金属线的电压信息标识的赋值进行不同组合，得到多种单元图形；通过DRC文件对多种单元图形分别进行设计规则检测，得到实际检测结果；根据实际检测结果及对应的预设检测结果验证DRC文件。本发明能够提高验证效率并降低验证成本。