In reply to dave_59:
Thanks for the reply.
While I was browsing more on the question I asked, I came across system calls like $coverage_get using API, but I couldn’t figure out a way to implement them. Alternatively, I was also wondering if there is a way, I can set some variable or create an event the moment the defined property gets covered during runtime. I could then monitor any change in that variable to infer coverage.
While covergroup coverage can be tracked using .get_coverage, I feel it pretty lame that SV doesn’t have such a feature for cover property unless I’m missing something.