A multilayer MCM autorouter based on the correct-by-design approach | IEEE Conference Publication | IEEE Xplore