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 条
  • [41] Automatic Generation of Emotions for Social Networking Websites using Text Mining
    Patil, Tejasvini
    Patil, Sachin
    2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [42] Automatic generation of Web mining environments
    Cibelli, M
    Costagliola, G
    DATA MINING AND KNOWLEDGE DISCOVERY: THEORY, TOOLS, AND TECHNOLOGY, 1999, 3695 : 215 - 225
  • [43] Automatic detection of interictal spikes using data mining models
    Valenti, P
    Scarpettini, M
    Cazamajou, E
    Aizemberg, A
    Silva, W
    Giagante, B
    Oddo, S
    Kochen, S
    EPILEPSIA, 2003, 44 : 179 - 179
  • [44] PrivacyCheck: Automatic Summarization of Privacy Policies Using Data Mining
    Zaeem, Razieh Nokhbeh
    German, Rachel L.
    Barber, K. Suzanne
    ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2018, 18 (04)
  • [45] Automatic abstraction in reinforcement learning using data mining techniques
    Kheradmandian, Ghorban
    Rahmati, Mohammad
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2009, 57 (11) : 1119 - 1128
  • [46] Automatic Surveillance of Pandemics Using Big Data and Text Mining
    Alharbi, Abdullah
    Alosaimi, Wael
    Uddin, M. Irfan
    CMC-COMPUTERS MATERIALS & CONTINUA, 2021, 68 (01): : 303 - 317
  • [47] Automatic detection of interictal spikes using data mining models
    Valenti, P
    Cazamajou, E
    Scarpettini, M
    Aizemberg, A
    Silva, W
    Kochen, S
    JOURNAL OF NEUROSCIENCE METHODS, 2006, 150 (01) : 105 - 110
  • [48] Generation of Pairwise Potentials Using Multidimensional Data Mining
    Zheng, Zheng
    Pei, Jun
    Bansal, Nupur
    Liu, Hao
    Song, Lin Frank
    Merz, Kenneth M., Jr.
    JOURNAL OF CHEMICAL THEORY AND COMPUTATION, 2018, 14 (10) : 5045 - 5067
  • [49] A novel procedure on next generation sequencing data analysis using text mining algorithm
    Zhao, Weizhong
    Chen, James J.
    Perkins, Roger
    Wang, Yuping
    Liu, Zhichao
    Hong, Huixiao
    Tong, Weida
    Zou, Wen
    BMC BIOINFORMATICS, 2016, 17
  • [50] A novel procedure on next generation sequencing data analysis using text mining algorithm
    Weizhong Zhao
    James J. Chen
    Roger Perkins
    Yuping Wang
    Zhichao Liu
    Huixiao Hong
    Weida Tong
    Wen Zou
    BMC Bioinformatics, 17
12345