Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl und Alois Knoll

Design, Automation and Test in Europe (DATE),

2012 · Dresden, Germany

Url:Huang2012a.pdf