tEDAx v1 begin drc_query_rule v1 zone_clr type shorted nets title net too close to other net (zone) desc insufficient clearance between an object of the network and objects of other networks query rule zone_clr query let Z ((@.type == POLYGON) && (@.layer.purpose == "zone") && (@.a.min_copper_clearance)) thus @ query let A (@.type == PSTK) || (@.layer.type == COPPER) query let B A query assert (A.IID < B.IID) && (overlap(A, Z) || overlap(B, Z)) && (A.netname != B.netname) && intersect(A, B, Z.a.min_copper_clearance) thus violation(DRCGRP1, A, DRCGRP2, B, DRCEXPECT, Z.a.min_copper_clearance) end drc_query_rule