Channel routing with provably short wires | IEEE Journals & Magazine | IEEE Xplore