RE: [sv-ac] question on the failure count

Sorry if I confused things - I was not referencing any proposal with
this question.  Reading the 805 proposal had triggered the question, but
I wasn't suggesting that it be a part of that proposal.

Similarly, whether the action block executes on vacuous successes does
not have to be tied to #805 or we will never get closure on #805.  

Lisa

-----Original Message-----
From: Doron Bustan [mailto:dbustan@freescale.com] 
Sent: Friday, July 28, 2006 2:06 PM
To: Lisa Piper
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] question on the failure count

I agree that it should not be there, I am not sure that it should be
fixed in this proposal.

I think that we are getting closer to be able to resolve 1381, there
we should discusse what should be reported for coverage.


Doron

Lisa Piper wrote:

> Hi all,
>
>  
>
> I have a question - in 17.13.3, why is there a failed counter 
> associated with a cover statement? 
>
>  
>
> Lisa
>
>  
>
>  
>