| Modeling networking issues of network-on-chip: a coloured petri nets approach |
| Full text |
Pdf
(624 KB)
|
| Source
|
International Conference On Simulation Tools And Techniques For Communications, Networks And Systems & Workshops
archive
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
table of contents
Rome, Italy
SESSION: Simulation of hardware
table of contents
Article No. 22
Year of Publication: 2009
ISBN:978-963-9799-45-5
|
|
Authors
|
|
Hamid Hajabdolali Bazzaz
|
University of Tehran, Tehran, Iran
|
|
Marjan Sirjani
|
University of Tehran, Tehran, Iran and Reykjavik University, Reykjavik, Iceland
|
|
Ramtin Khosravi
|
University of Tehran, Tehran, Iran
|
|
Shamim Taheri
|
University of Tehran, Tehran, Iran
|
|
| Sponsors |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 7, Downloads (12 Months): 33, Citation Count: 0
|
|
|
ABSTRACT
Network-on-Chip (NoC) is proposed as a new scalable architecture to address the future design challenges of system-on-a-chip (SoC). As current verification techniques for on-chip communication algorithms are typically complicated tasks including many hardware modules and software routines, verifying the algorithms themselves is almost impossible. Having the incentive for simplifying verification of these on-chip algorithms, in this paper, we propose a detailed NoC CPN model in which key NoC networking challenges, namely network topology, switching method, and routing algorithm are considered. By this model, any desired NoC topologies, including but not limited to, mesh and k-ary n-cube can be constructed. As for switching techniques, dominant on-chip switching methods, namely, packet switching, circuit switching, and wormhole switching, are modeled. Besides, as model of a NoC switch element is highly dependent on its switch fabric type, different sorts of switching fabrics, i.e., crossbar and shared bus, are modeled in this contribution. For routing the packets between cores, a CPN version of dimension-ordered routing, dominant routing algorithm for NoC, is implemented in the switches.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
Holger Blume, Thorsten von Sydow, and Tobias G. Noll. Performance Analysis of SoC Communication by Application of Deterministic and Stochastic Petri Nets, pages 484--493. Springer Berlin / Heidelberg, 2004.
|
| |
3
|
|
| |
4
|
Kurt Jensen. Coloured petri nets and the invariant-method. Theoreiical Computer Science 14, pages 317--336, 1981.
|
| |
5
|
|
| |
6
|
S. Bhattacharya N. Chaki. Modeling and analysis of interconnection networks using high level net. In 15th IASTED International Conference on Modelling and Simulation, Innsbruck, Austria, February 1996.
|
| |
7
|
|
| |
8
|
J. Schleifer H. Blume, T. von Sydow and T. G. Noll. Petri net based moding of communication in systems on chip. Book chapter in Vedran Kordic (ed.) Petri Net, Theory and Application. I-Tech Education and Publishing, Vienna, Austria, February 2008.
|
| |
9
|
H. Blume, T. von Sydow, D. Becker, and T. G. Noll. Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets, pages 374--383. Springer, Berlin, 2005.
|
| |
10
|
|
| |
11
|
|
| |
12
|
Petri nets world. http://www.informatik.uni-hamburg.de/TGI/PetriNets/.
|
| |
13
|
A. Vinter Ratzer et al. CPN tools for editing, simulating, and analysing coloured petri nets. In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), pages 450--462, Eindhoven, The Netherlands, June 2003. Springer-Verlag.
|
|