• DocumentCode
    1841093
  • Title

    A Coverage-Driven Verification Platform for Evaluating NoC Performance and Test Structure

  • Author

    Ying, Zhang ; Ning, Wu ; Xiazhi, Ke ; Fen, Ge

  • Author_Institution
    Coll. of Electron. & Inf. Eng, Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China
  • fYear
    2012
  • fDate
    26-29 March 2012
  • Firstpage
    261
  • Lastpage
    265
  • Abstract
    NoC (Network-on-Chip) has been proposed as a new solution to deal with the global communication problem of complex SoC(System-on-Chip). An evaluation tool is essential for optimizing the NoC design, through which the functionality and performance of the NoC are verified. This paper presents a coverage-driven and hierarchical NoC verification platform based on System Verilog language. It is applicable to various NoCs with arbitrary size, topology, multiple interface protocols and various test structure. To verify the effectiveness of this platform, Mesh and Totus topology and the corresponding XY or TXY routing algorithms were adopted and applied to random uniform and random hot distribution simultaneously. Furthermore, the platform is also applied for evaluating different test schemes. The results of performance and test structure evaluation show that the verification platform improves the verification efficiency and has good adaptability and scalability as well.
  • Keywords
    formal verification; network-on-chip; performance evaluation; statistical distributions; Mesh topology; NoC performance evaluation; SoC; System Verilog language; TXY routing algorithm; Totus topology; coverage-driven verification platform; network-on-chip; random hot distribution; random uniform distribution; system-on-chip; test structure; Delay; IP networks; Monitoring; Routing; Testing; Throughput; Topology; NoC; SystemVerilog; Test structure; Verification platform;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advanced Information Networking and Applications Workshops (WAINA), 2012 26th International Conference on
  • Conference_Location
    Fukuoka
  • Print_ISBN
    978-1-4673-0867-0
  • Type

    conf

  • DOI
    10.1109/WAINA.2012.104
  • Filename
    6185133