Routability checking for three-dimensional architectures. - William N. N. Hung; Xiaoyu Song; T. Kam; Lerong Cheng; Guowu Yang (IEEE Trans. Very Large Scale Integr. Syst., 2004)