University of Illinois Urbana-Champaign

Analyzing the GoldMine Tool

Akgun, Itir

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/54542

Description

Title
Analyzing the GoldMine Tool
Author(s)
Akgun, Itir
Contributor(s)
Vasudevan, Shobha
Issue Date
2014-05
Keyword(s)
  • GoldMine
  • formal verification
  • automatic assertion
  • hardware verification
Abstract
GoldMine is an automatic assertion generation tool which uses data mining and static analysis techniques on the register-transfer level (RTL) design. The assertions generated from the RTL design are processed through the feedback mechanism after passing the formal verifier to improve their quality. GoldMine minimizes the human effort in this process by ranking the generated assertions based on the evaluation of their coverage. The purpose of this research is to evaluate the quality of the highly-ranked assertions generated by GoldMine on the data intensive Calc1 design. The objective of this research is to analyze the various data mining algorithms used in GoldMine, and to propose new functionalities that will make the tool more preferable for industrial use. The results of this research show that GoldMine is able to create complex and sophisticated assertions on combinational and sequential modules.
Type of Resource
text
Language
en
Permalink
http://hdl.handle.net/2142/54542

Owning Collections

Senior Theses - Electrical and Computer Engineering PRIMARY
The best of ECE undergraduate research