Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng 0001, Chris J. Myers. An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Science of Computer Programming, 118:24-39, 2016. [doi]
Abstract is missing.