Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

Sammanfattning

When developing complex Network-on-Chip (NoC) systems we need to ensure that they satisfy their functional requirements. This can be achieved by developing the systems in a structured way using a formal method with tool support. We use the B Action Systems formalism for this purpose. We give a general formal framework for the development of NoC systems avoiding architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet. The development is performed in a stepwise manner composing more advanced routing components out of simpler units.
OriginalspråkEngelska
FörlagTurku Center for Computer Science (TUCS)
ISBN (tryckt)952-12-1695-6
StatusPublicerad - 2006
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

Publikationsserier

NamnTUCS Technical Reports
Volym751

Fingeravtryck

Fördjupa i forskningsämnen för ”Formal Development of NoC Systems in B”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här