DocumentCode
3043190
Title
TLM-based verification of a combined switching Networks-on-Chip router
Author
Sabry, Mohamed M. ; Kharashi, M. ; Bedor, Hassan Shehata ; Salem, Ashraf
Author_Institution
Dept. of Comput. & Syst. Eng., Ain Shams Univ., Cairo
fYear
2008
fDate
23-25 Sept. 2008
Firstpage
255
Lastpage
256
Abstract
TLM-based verification is proposed to verify an RTL implementation of a networks-on-chip router that is capable of doing a combined circuit and packet switching. The router architecture is developed in both RTL and TLM. A transactor was modeled to embed the RTL implementation of the router into same TLM simulation environment and used to verify the functionality of the RTL model. Results show that the functionality of both RTL and TLM models are identical.
Keywords
network-on-chip; switching networks; RTL model; TLM-based verification; circuit switching; packet switching; switching networks-on-chip router; Circuit simulation; Computer graphics; Computer networks; Design engineering; Modeling; Network-on-a-chip; Packet switching; Routing; Switches; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location
Stuttgart
Print_ISBN
978-1-4244-2264-7
Type
conf
DOI
10.1109/FDL.2008.4641462
Filename
4641462
Link To Document