Eliminating undetectable shorts between horizontal wires during channel routing | IEEE Conference Publication | IEEE Xplore