IEEE - Institute of Electrical and Electronics Engineers, Inc. - GoldMine: Automatic assertion generation using data mining and static analysis

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)

Author(s): Vasudevan, S. ; Sheridan, D. ; Patel, S. ; Tcheng, D. ; Tuohy, B. ; Johnson, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Dresden, Germany, Germany
Conference Date: 8 March 2010
Page(s): 626 - 629
ISBN (CD): 978-3-9810801-6-2
ISBN (Electronic): 978-3-9810801-6-2
ISBN (Paper): 978-1-4244-7054-9
ISSN (CD): 1530-1591
ISSN (Paper): 1530-1591
Regular:

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... View More

Advertisement