Re: [sv-ac] SV-AC: on cover property, disable if and reporting...

Ed,

Eduard Cerny wrote:

>- cover properties: instead of using the terminology success, failure,
>vacuous success, etc. that is the same as for assert statements, let's
>define coverage, covered, covered vacuously, and disabled.
>
>  
>

I don't think we need "covered vacuously", and "disabled". I already 
said why I object to
vacuity, and as far as I understand it, the only reason to put "disable 
iff" (or "reject iff") in
a cover property, is to cause the reset signal to fail the evaluation of 
the property.

Thus, there should be only one type of cover success.
Also, I don't think the coverage failure should be reported.

Doron