On automatic analysis of geometrically proximate nets in VLSI layout | IEEE Conference Publication | IEEE Xplore