Formal Development of NoC Systems in B

Leonidas Tsiopoulos*, Marina Walden

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

Abstrakti

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.
AlkuperäiskieliEnglanti
Sivut127-145
JulkaisuNordic Journal of Computing
Vuosikerta13
Numero1-2
TilaJulkaistu - 2006
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Sormenjälki

Sukella tutkimusaiheisiin 'Formal Development of NoC Systems in B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot