LNT

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

A fault-tolerant routing algorithm in Network-on-Chip architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm increases its design complexity and makes it prone to deadlock and other …