Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language.

Mourad Dridi, Mounir Lallali, Stphane Rubini, Frank Singhoff, Jean-Philippe Diguet

Browse the full MICRO paper archive.