Formally enhanced runtime verification to ensure NoC functional correctness.

Ritesh Parikh, Valeria Bertacco

Browse the full MICRO paper archive.