../
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
“Another challenge with assertion generation is due to the modular nature of system development. A module developer would write local assertions that pertain to his/her module. Maintaining consistency of intermodular global assertions as the system evolves in this fragmented framework is very tedious." Page 952
“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-14T12:11:41.078-04:00 %%