Towards a formally verified network-on-chip.

Tom van den Broek Julien Schmaltz

Published in: FMCAD (2009)

Keyphrases

network on chip
routing algorithm
network simulator
packet switched
multi processor
data transfer
image processing
low cost
shortest path
multistage
power dissipation