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