GoldMine: Automatic Assertion Generation Using Data Mining and Static Analysis

被引：0
|
作者：
Vasudevan, Shobha [1 ]
Sheridan, David [1 ]
Patel, Sanjay [1 ]
Tcheng, David [1 ]
Tuohy, Bill [1 ]
Johnson, Daniel [1 ]
机构：
[1] Univ Illinois, Elect & Comp Engn Dept, Urbana, IL 61801 USA
来源：
2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010) | 2010年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present GOLDMINE, a methodology for generating assertions automatically. Our method involves a combination of data mining and static analysis of the Register Transfer Level (RTL) design. We present results of using GoldMine for assertion generation of the RTL of a 1000-core processor design that is still in an evolving stage. Our results show that GoldMine can generate complex, high coverage assertions in RTL, thereby minimizing human effort in this process.
引用
收藏
页码：626 / 629
页数：4
相关论文
共 50 条
  • [1] Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis
    Zhao, Junchen
    Harris, Ian G.
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 598 - 601
  • [2] Automatic Generation of Library Bindings Using Static Analysis
    Ravitch, Tristan
    Jackson, Steve
    Aderhold, Eric
    Liblit, Ben
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 352 - 362
  • [3] Automatic Generation of Library Bindings Using Static Analysis
    Ravitch, Tristan
    Jackson, Steve
    Aderhold, Eric
    Liblit, Ben
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 352 - 362
  • [4] Using static analysis to improve automatic test generation
    Bozga, M
    Fernandez, JC
    Ghirvu, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 235 - 250
  • [5] Using static analysis to improve automatic test generation
    Marius Bozga
    Jean-Claude Fernandez
    Lucian Ghirvu
    International Journal on Software Tools for Technology Transfer, 2003, 4 (2) : 142 - 152
  • [6] Automatic assertion extraction via sequential data mining of simulation traces
    Chang, Po-Hsien
    Wang, Li. -C
    2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, : 596 - 601
  • [7] Explainable Demand Forecasting: A Data Mining Goldmine
    Rozanec, Joze M.
    WEB CONFERENCE 2021: COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2021), 2021, : 723 - 724
  • [8] Engineering of an Effective Automatic Dynamic Assertion Mining Platform
    Ghasempouri, Tara
    Malburg, Jan
    Danese, Alessandro
    Pravadelli, Graziano
    Fey, Goerschwin
    Raik, Jaan
    2019 IFIP/IEEE 27TH INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2019, : 111 - 116
  • [9] Data Generation and Analysis for Digital Forensic Application using Data Mining
    Khobragade, Prashant K.
    Malik, Latesh G.
    2014 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORK TECHNOLOGIES (CSNT), 2014, : 458 - 462
  • [10] 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
12345