ACM Home Page
Please provide us with feedback. Feedback
Modeling networking issues of network-on-chip: a coloured petri nets approach
Full text PdfPdf (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
: Create-Net
: ICST
Publisher
Bibliometrics
Downloads (6 Weeks): 7,   Downloads (12 Months): 33,   Citation Count: 0
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: 10.4108/ICST.SIMUTOOLS2009.5574

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.

Collaborative Colleagues:
Hamid Hajabdolali Bazzaz: colleagues
Marjan Sirjani: colleagues
Ramtin Khosravi: colleagues
Shamim Taheri: colleagues