A lower bound on channel density after global routing | IEEE Journals & Magazine | IEEE Xplore