O'Reilly logo

Modeling and Simulation of Computer Networks and Systems by Petros Nicopolitidis, Faouzi Zarai, Mohammad S. Obaidat

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 12

Towards correct and reusable Network-on-Chip architectures

Maryam Kamali1, Luigia Petre2, Kaisa Sere2 and Masoud Daneshtalab3,    1University of Liverpool, Liverpool, UK,    2Åbo Akademi University, Turku, Finland,    3University of Turku, Turku, Finland

With network-on-chip (NoC) as the fundamental communication paradigm for many core architectures, we need to be able to evaluate its correctness. In this paper we propose a proving methodology for this, based on the Event-B formal method. Our approach is fundamentally reusable, thus addressing the increasing complexity of manycore architectures as well as alleviating the need for proving expertise. These matters are also facilitated by tool support, in the form of the Rodin tool platform ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required