FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.
Saved in:
| Title: | FORMAL DEVELOPMENT OF NoC SYSTEMS IN B. |
|---|---|
| Authors: | Tsiopoulos, Leonidas1 Leonidas.Tsiopoulos@abo.fi, Waldén, Marina1 Marina.Walden@abo.fi |
| Source: | Nordic Journal of Computing. Summer2006, Vol. 13 Issue 1/2, p127-145. 19p. 12 Diagrams, 1 Chart. |
| Subjects: | B method (Computer science), Computer architecture, Technical specifications, Standardization, Modular arithmetic |
| Abstract: | The article discussess on the need to ensure that development of complex Network-on-Chip (NoC) systems satisfy their functional requirements. The B action systems formalism has been utilized to get the main purpose. General formal framework has also been utilized instead of architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet. |
| Database: | Engineering Source |
Be the first to leave a comment!
