A Dynamic Sufficient Condition of Deadlock-Freedom for High-Performance Fault-Tolerant Routing in Networks-on-Chips | IEEE Journals & Magazine | IEEE Xplore