In reply to VB:
Just to be sure - covergroup can be correlated to “cover property” - and language does provide statistics for both. The case of “assert” is slightly more involved and interesting. Compare that to a procedural scoreboard. Now, language does NOT give a way to get coverage stats for procedural code (To some extent there is a coverage API, but have not used that a lot).
There are many interesting cases with assert properties - much like branch coverage/path coverage etc. For inst:
a |=> b |=> c;
a |=> ##[1:5] b; // Did I get b after 1,2,3,4,5 clocks? Each could be a cover item
or, intersect, within, and → operators create even more complex cases.
You may also be interested in “totally vacuous” reporting (tool dependent) https://vmmcentral.org/vmartialarts/2010/03/improved-productivity-with-vcs-assertion-indicators/index.html
Regards
Srini
www.verifworks.com