2026-06-13

Mining Hardware Assertions With Guidance From Static Analysis

Year

2013

Authors

Samuel Hertz, David Sheridan, Shobha Vasudevan

DOI

10.1109/TCAD.2013.2241176

Related

Persistent Notes

In-text annotations

“Although GoldMine attempts to minimize human effort in the assertion generation process, we require human intervention to differentiate a spurious candidate assertion that fails formal verification from a genuine system invariant that fails formal verification because of an implementation bug." Page 956

%% Import Date: 2026-06-13T16:08:03.700-04:00 %%