Files in this item



application/pdfECE499-Sp2014-akgun.pdf (317kB)Restricted to U of Illinois
(no description provided)PDF


Title:Analyzing the GoldMine Tool
Author(s):Akgun, Itir
Contributor(s):Vasudevan, Shobha
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.
Issue Date:2014-05
Date Available in IDEALS:2014-09-22

This item appears in the following Collection(s)

Item Statistics