Assert Property vs Cover Property

In reply to VB:
That is going to be tool specific. You can do that in Questa with the “assertion count” command.