Ritesh Parikh, Valeria Bertacco. Formally enhanced runtime verification to ensure NoC functional correctness. In Carlo Galuzzi, Luigi Carro, Andreas Moshovos, Milos Prvulovic, editors, 44rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2011, 3-7 December 2011, Porto Alegre, Brazil. pages 410-419, ACM, 2011. [doi]
Abstract is missing.