Automatic Test Bench Generation and Connection in Modern Verification Environments: Methodology and Tool

被引:0
|
作者
Srivastava, Rohit [1 ]
Gupta, Gaurav [1 ]
Patankar, Sarvesh [1 ]
Mudgil, Nandini [1 ]
机构
[1] Freescale Semicond Pvt Ltd, Noida, Uttar Pradesh, India
来源
关键词
SoC; Functional Verification; Testbench Automation; Verification Methodology; UVM; OVM; VMM;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Due to complex designs and time to market pressure verification closure is the bottleneck in ASIC/SoC design. Hence setting up a constrained random testbench environment seems to be a difficult task, especially when we consider that environments need to be flexible, scalable, and reusable. Although standard verification methodologies such as UVM [1], OVM [2] or VMM [3] help to an extent, but then creating testbench environment still consumes a lot of time. This calls for the need of testbench automation. There has been a lot of development in testbench automation techniques but still the problem of connectivity between the VIP interface and DUT remains unsolved which consumes considerable amount of time at SoC level. To solve this problem a novel technique has been proposed. The aim is to achieve a correct by construction technique to get the various existing components from IP level and make the automatic connection of the verification component with the design under test.
引用
收藏
页码:284 / 293
页数:10
相关论文
共 50 条
  • [1] An automatic testbench generation tool for a SystemC functional verification methodology
    da Silva, KRG
    Melcher, EUK
    Araujo, G
    SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 66 - 70
  • [2] Tool for automatic test case generation
    Sarala, S
    Valli, S
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 65 - 74
  • [3] Automatic Verification Methodology Based on Structural Test Patterns
    Hobeika, Christelle
    Thibeault, Claude
    Boland, Jean Francois
    2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, : 292 - 295
  • [4] Automatic Test Generation Methodology for Verification of a Cache Memory Based on the Graph Model of Cache Hierarchy
    Garashchenko, Anton V.
    Putrya, Fedor M.
    Gagarina, Larisa
    Garashchenko, Alena V.
    Dzhurakulov, Albert A.
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 1876 - 1879
  • [5] An approach for performance requirements verification and test environments generation
    Waleed Abdeen
    Xingru Chen
    Michael Unterkalmsteiner
    Requirements Engineering, 2023, 28 : 117 - 144
  • [6] An approach for performance requirements verification and test environments generation
    Abdeen, Waleed
    Chen, Xingru
    Unterkalmsteiner, Michael
    REQUIREMENTS ENGINEERING, 2023, 28 (01) : 117 - 144
  • [7] Automatic functional test program generation for microprocessor verification
    Li, Tun
    Zhu, Dan
    Liang, Lei
    Guo, Yang
    Li, SiKun
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 1039 - 1042
  • [8] An Approach to Automatic Test Generation for Verification of Microprocessor Cores
    Gagarina, Larisa G.
    Garashchenko, Anton V.
    Shiryaev, Alexey P.
    Fedorov, Alexey R.
    Dorogova, Ekaterina G.
    PROCEEDINGS OF THE 2018 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2018, : 1490 - 1491
  • [9] A Tool for Automatic Generation of Data Mining Practice Environments
    Terroso-Saenz, Fernando
    Hernandez, Adrian
    IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA, 2021, 16 (02): : 171 - 179
  • [10] NaNofuzz: A Usable Tool for Automatic Test Generation
    Davis, Matthew C.
    Choi, Sangheon
    Estep, Sam
    Myers, Brad A.
    Sunshine, Joshua
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 1114 - 1126