Re: [sv-ac] coverage

Good morning,

As Ed mentioned in his mail, there is some ambiguity with "cover property"
over a sequence. It is not clear when  multi-matches per attempt should 
be reported:
Only when the cover property is over a declared sequence? or when the 
body of the
property can be considered as a sequence?

It seems like adding a new directive "cover sequence" will be useful 
because the user will
be able to  choose when she wants multi matches per attempt, 
independently of the way she
represents the sequences. Furthermore, the code will be clearer.

Doron

Adam Krolnik wrote:

>
>
> Good morning Mr. Bustan;
>
> You wrote this proposal:
>
>   a. Overload the "disable iff" so it behaves as      before in an 
> "assert property"
>      or an "assume property", but behaves as "reject on" in a "cover 
> property".
>
> Accepting this will match with verilog coders current understanding of 
> 'disable'.
>
>   5. Whether or not to add a new directive "cover sequence".
>
> Is this to split property coverage from sequence coverage explicitly? 
> Are not the current cover statement semantics sufficient for sequences?
>
>    Thanks.
>