Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching.
Freek VerbeekJulien SchmaltzPublished in: NOCS (2011)
Keyphrases
- switched networks
- network topologies
- mobile wireless
- optical burst switching
- wireless ad hoc networks
- wireless networks
- mobile ad hoc networks
- high speed
- network topology
- network design
- traffic engineering
- source node
- integrated circuit
- routing problem
- network structure
- routing algorithm
- dynamic routing
- routing protocol
- network infrastructure
- cooperative
- node density
- packet forwarding
- energy consumption
- inter domain
- road network
- peer to peer networks
- ad hoc networks
- network model