RE: [sv-ac] Mantis 0001381: vacuous success is not well defined in the LRM

Put this clear - you are claiming that COVER should ignore vacuous passes at
all -  never mind the action block control task. 
 
DANiel

  _____  

From: Bustan, Doron [mailto:doron.bustan@intel.com] 
Sent: Thursday, November 22, 2007 12:28 PM
To: danielm; sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] Mantis 0001381: vacuous success is not well defined in
the LRM



 

 

  _____  

From: danielm [mailto:danielm@aldec.com.pl] 
Sent: Thursday, November 22, 2007 1:22 PM
To: Bustan, Doron; sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] Mantis 0001381: vacuous success is not well defined in
the LRM

 

Non-vacuous successes should be considered as coverage hits, meaning you
expect at least one simulation 

In which at least one attempt is non-vacuous.

 

If so then why action blocks for both cover and asserts for vacuous passes
by default will be executed (see 1361). Maybe for covers they should not be
executed.

 

[[DB:]] I don't think that vacuity should be defined for cover properties.
We had a big discussion about it, you can search the reflector.

As for action blocks executing by default on vacuous successes, I agree with
you it should not be the case. 

As far as I remember it is because of backwards compatibility issues.

 

Doron

---------------------------------------------------------------------

Intel Israel (74) Limited



This e-mail and any attachments may contain confidential material for

the sole use of the intended recipient(s). Any review or distribution

by others is strictly prohibited. If you are not the intended

recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.