Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"GoldMine"”.
-
Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions
"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. The RTL design is first simulated to generate data about the design’s dynamic behavior. The generated data …
-
Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation
… 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 …
-
Harmonizing data mining and static analysis to tackle hardware and system level verification
… for simulation based verification is based on GoldMine, an automatic assertion generation tool that was developed at the University of Illinois. We use the counterexamples generated from formal verification of GoldMine assertions to incrementally refine the internal decision tree. The …
-
The ancestral descent of important Hampshire sheep
… these two rams and other sons and grandsons of Goldmine, have produced more important winning sheep than any other blood or families used in the United States. As far as the age of either parent is concerned with Hampshire sheep, the offspring born at one age is no more apt to be a winner than …