Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers

Browse the full FMICS paper archive.