A Resilient Routing Algorithm with Formal Reliability Analysis for Partially Connected 3D-NoCs | IEEE Journals & Magazine | IEEE Xplore