SHORTFINDER: a graphical CAD tool for locating net-to-net shorts in VLSI chip layouts | IEEE Journals & Magazine | IEEE Xplore