A formally verified deadlock-free routing function in a fault-tolerant NoC architecture.
Abdulaziz AlhussienNader BagherzadehFreek VerbeekBernard van GastelJulien SchmaltzPublished in: SBCCI (2012)
Keyphrases
- fault tolerant
- routing algorithm
- deadlock free
- network on chip
- interconnection networks
- fault tolerance
- distributed systems
- routing protocol
- ad hoc networks
- wireless sensor networks
- shortest path
- load balancing
- real time
- management system
- multi processor
- energy consumption
- packet switched
- network traffic
- multistage
- sensor networks