Functional Coverage-Driven UVM-based UART IP Verification

被引:0
|
作者
Ni, Wei [1 ]
Wang, Xiaotian [1 ]
机构
[1] Hefei Univ Technol, Inst VLSI Design, Hefei 230009, Peoples R China
来源
PROCEEDINGS OF 2015 IEEE 11TH INTERNATIONAL CONFERENCE ON ASIC (ASICON) | 2015年
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
With the increased complexity of SoC caused by the rapid development of integrated circuits, verification for a SoC design also become more and more complex and occupy 70%-80% of time over the whole design process. The new UVM-based verification technology can significantly reduce the time needed. A UVM-based UART IP verification platform featuring functional coverage model is built here to find out whether the verification achieves the expected effect or not. This platform achieves 100% functional coverage with the coverage convergence method by adding test cases and using constrained random test. Simulation results show that this platform can be used to verify the UART IP and SoC featuring UART interface.
引用
收藏
页数:4
相关论文
共 50 条
  • [41] UVM Based Approaches to Functional Verification of Communication Controllers of Microprocessor Systems
    Stotland, Irina
    Shpagilev, Danil
    Starikovskaya, Nadezhda
    PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
  • [42] Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
    Cichos, Harald
    Oster, Sebastian
    Lochau, Mahe
    Schuerr, Andy
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 425 - +
  • [43] Robust Functional Verification Framework Based in UVM Applied to an AES Encryption Module
    Plasencia-Balabarca, Frank
    Mitacc-Meza, Edward
    Raffo-Jara, Mario
    Silva-Cardenas, Carlos
    2018 NEW GENERATION OF CAS (NGCAS), 2018, : 194 - 197
  • [44] Coverage driven test generation framework for RTL functional verification
    Guo, Yang
    Qu, Wanxia
    Li, Tun
    Li, Sikun
    PROCEEDINGS OF 2007 10TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, 2007, : 321 - 326
  • [45] Design of Verification Platform for CAN-FD IP Customized SRAM Controller Based on UVM
    Yan, Shuaiqi
    Geng, Shuqin
    Peng, Xiaohong
    Tang, Haonan
    Zhang, Yan
    Wang, Zifeng
    2020 THE 5TH IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUITS AND MICROSYSTEMS (ICICM 2020), 2020, : 218 - 222
  • [46] Automatic UVM Environment Generation for Assertion-based and Functional Verification of SystemC Designs
    Mefenza, Michael
    Yonga, Franck
    Bobda, Christophe
    2014 15TH INTERNATIONAL MICROPROCESSOR TEST AND VERIFICATION WORKSHOP (MTV 2014), 2015, : 16 - 21
  • [47] Architectural Trace-Based Functional Coverage for Multiprocessor Verification
    Mammo, Biruk
    Larimer, Jim
    Morgan, Matthew
    Fan, Dave
    Hennenhoefer, Eric
    Bertacco, Valeria
    PROCEEDINGS OF THE 13TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV 2012), 2012, : 1 - 5
  • [48] Novel Test Structures for 2D-Mesh NoC with Evaluation on the Coverage-driven & VMM-based Testbench
    Zhang, Ying
    Wu, Ning
    Ge, Fen
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2011, VOL II, 2011, : 797 - 801
  • [49] Constrained-Based Symbolic Execution on Virtual Models for Functional Coverage Verification
    Mohamed, Nahla Mohamed
    Safar, Mona
    Wahba, Ayman
    Salem, Ashraf
    2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 99 - 104
  • [50] Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification
    Rostami, Hossein
    Hosseini, Mostafa
    Azarpeyvand, Ali
    Iman, Mohammad Reza Heidari
    Ghasempouri, Tara
    2024 IEEE 30TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN, IOLTS 2024, 2024,