Re: [sv-ac] Issue 805

Hello Adam,

The problem I have with R|->P, is the vacuous match i.e. a computation 
that does not
match R and thus satisfies the property. I don't see how first match fix 
that?

BTW  my suggestion defines when a computation satisfies a cover 
property, but it is does
not consider what need to reported. This information is defined in 
section 17.13.3,
and in my opinion should be reviewed as well.

Regards

Doron


Adam Krolnik wrote:

>
>
> Hello Mr. Bustan;
>
> I thought the use of R |-> P in coverage was to obtain first match 
> semantics.
>
> Would not the addition of a first match operator allow fusion of R and
> first match P  to produce the desired coverage result?
>
>
>