2026-06-05

Reference Searching

Goldmine

• They cite this book and say this it is hard to come up with concise assertions with high coverage
  • But I cannot find where the find this in the book. There was no page number.
  • From my perusal of the book I found counter-evidence rather.
  • On page 11, Chapter 1 there is an argument against “I don’t have time” implying that assertions don’t even take that long. The author’s survey revealed that assertions only add 1% to 3% extra time to RTL coding part.
• This is the only reference they have in support of why one would mine for assertions rather than write it themselves.
• Goldmine cites hekmatpourBlockbasedSchemadrivenAssertion2005, wangAutomaticGenerationAssertions1998, hangalIODINEToolAutomatically2005 , and roginAutomaticGenerationComplex
• Out of these only hekmatpourBlockbasedSchemadrivenAssertion2005 has references about why it is hard. The others pretty much just state that it is hard to come up with assertions.