Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 127-145 |
Journal | Nordic Journal of Computing |
Volume | 13 |
Issue number | 1 |
Publication status | Published - 2006 |
MoE publication type | A1 Journal article-refereed |