UVM-based Functional Coverage Driven AXI4-Stream Verification

被引：0
|
作者：
Xu, Chunlin [1 ]
Ni, Wei [1 ]
Song, Yukun [1 ]
机构：
[1] Hefei Univ Technol, Inst VLSI Design, Hefei 230601, Peoples R China
来源：
2019 IEEE 13TH INTERNATIONAL CONFERENCE ON ASIC (ASICON) | 2019年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
With the increasing complexity of modern silicon chips, verification for SoCs is also facing huge challenges. Traditional verification methodologies which cannot meet the time-to-market requirement is being replaced by UVM, a state of art verification methodology. An UVM-based out of box AXI4-Stream verification IP featuring functional coverage model is designed in this paper. With constrained random test, base test and direct test, simulation results show that the function of this verification IP is correct and can be used to verify any IP cores and SoCs featuring AXI4-Stream interface with improved verification efficiency.
引用
收藏
页数：4
相关论文
共 50 条
  • [41] 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
  • [42] AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
    Agostini, Nicolas Bohm
    Haris, Jude
    Gibson, Perry
    Jayaweera, Malith
    Rubin, Norm
    Tumeo, Antonino
    Abellan, Jose L.
    Cano, Jose
    Kaeli, David
    2024 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, CGO, 2024, : 143 - 157
  • [43] 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
  • [44] 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,
  • [45] Model-Driven Automation for Simulation-Based Functional Verification
    Linehan, Eamonn
    O'Toole, Eamonn
    Clarke, Siobhan
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2012, 17 (03)
  • [46] OCCOM - Efficient computation of observability-based code coverage metrics for functional verification
    Fallah, F
    Devadas, S
    Keutzer, K
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (08) : 1003 - 1015
  • [47] OCCOM: Efficient computation of observability-based code coverage metrics for functional verification
    Fallah, F
    Devadas, S
    Keutzer, K
    1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 152 - 157
  • [48] FSM-based transaction-level functional coverage for interface compliance verification
    Su, Man-Yun
    Shih, Che-Hua
    Huang, Juinn-Dar
    Jou, Jing-Yang
    ASP-DAC 2006: 11TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 2006, : 448 - 453
  • [49] Block-based schema-driven assertion generation for functional verification
    Hekmatpour, A
    Salehi, A
    14TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2005, : 34 - 39
  • [50] Functional verification for UML-based model driven design of embedded systems
    Kardos, M
    Fristacky, N
    FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114
12345