• 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