An Abstraction to Support Design of Deadlock-free Routing Algorithms for Large and Hierarchical NoCs | IEEE Conference Publication | IEEE Xplore