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

I guess it was there for symmetry with assertions, but as we discussed,
it does not make practical sense. 

ed 

> -----Original Message-----
> From: owner-sv-ac@eda-stds.org 
> [mailto:owner-sv-ac@eda-stds.org] On Behalf Of Doron Bustan
> 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
> >
> >  
> >
> >  
> >
> 
>