Efficient routability checking for global wires in planar layouts | IEEE Conference Publication | IEEE Xplore