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
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;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641462