Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
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 …
Cite
×