Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving.

Jia Huang Jan Olaf Blech Andreas Raabe Christian Buckl Alois C. Knoll

Published in: DATE (2012)

Keyphrases

network on chip
scheduling problem
scheduling algorithm
routing algorithm
real time
low cost
graphical models