• DocumentCode
    1855128
  • Title

    Development of verification envioronment for SPI master interface using SystemVerilog

  • Author

    Zhili Zhou ; Zheng Xie ; Xin´an Wang ; Teng Wang

  • Author_Institution
    Shenzhen Grad. Sch., Key Lab. of Integrated Micro-Syst., Peking Univ., Beijing, China
  • Volume
    3
  • fYear
    2012
  • fDate
    21-25 Oct. 2012
  • Firstpage
    2188
  • Lastpage
    2192
  • Abstract
    System-level verification with scalable and reusable components provides a solution for current complex SOC verification and SystemVerilog with OOP is one of the most promising language to develop a complete verification environment with constrained random testing, functional coverage and assertions. In this paper, a uniform verification environment for SPI master interface is developed using SystemVerilog after a comprehensive analysis of the verification plan. The proposed multi-layer testbench is comprised of APB driver, SPI slave, scoreboard, checker, coverage analysis and assertions, which are implemented with different properties of SystemVerilog. Furthermore, constrained random testing vectors are generated automatically and driven into the DUT for higher functional coverage. The verification result shows the effectiveness of the proposed verification environment, which is of great feasibility for further extension and reuse.
  • Keywords
    formal verification; hardware description languages; object-oriented programming; system-on-chip; APB driver; DUT; OOP; SPI master interface; SPI slave; SystemVerilog; complete verification environment; complex SOC verification; constrained random testing vectors; coverage analysis; functional coverage; higher functional coverage; multi-layer testbench; system-level verification; SPI interface; SystemVerilog; assertion; functional coverage; object-oriented programming;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Signal Processing (ICSP), 2012 IEEE 11th International Conference on
  • Conference_Location
    Beijing
  • ISSN
    2164-5221
  • Print_ISBN
    978-1-4673-2196-9
  • Type

    conf

  • DOI
    10.1109/ICoSP.2012.6492015
  • Filename
    6492015