Files in this item

FilesDescriptionFormat

application/pdf

application/pdfSamuel_Hertz.pdf (1MB)
(no description provided)PDF

Description

Title:Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation
Author(s):Hertz, Samuel
Advisor(s):Vasudevan, Shobha
Department / Program:Electrical & Computer Eng
Discipline:Electrical & Computer Engr
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:M.S.
Genre:Thesis
Subject(s):assertion
assertion generation
assertion evaluation
assertion ranking
GoldMine
static analysis
data mining
evaluation
ranking
verification
validation
Abstract:We present methods for automatically generating and evaluating register transfer level (RTL) assertions. We detail the GoldMine methodology and each of its data mining algorithms. We introduce the Best-Gain Decision Forest algorithm to mine concise RTL assertions. We develop an assertion ranking methodology. We define assertion importance, complexity, rank and ideality and we detail methods to compute each of them. We present a case study and experimental results to demonstrate the effectiveness of assertion rank. We develop an assertion rank aggregation methodology. We define assertion coverage and expectedness. We aggregate rankings for assertion importance, complexity, coverage and expectedness. We present experimental results to demonstrate the value of these metrics and the rank aggregation methodology. We rigorously analyze the performance of each data mining algorithm in GoldMine. We present experimental results that demonstrate each algorithm's performance with respect to various metrics.
Issue Date:2013-06-11
URI:http://hdl.handle.net/2142/55156
Rights Information:Copyright 2013 Samuel Hertz
Date Available in IDEALS:2013-06-11
2014-09-25
2016-09-26
Date Deposited:2013-05


This item appears in the following Collection(s)

Item Statistics