[sv-ac] RE: comment on 1599 4/23 update

 

 

________________________________

From: Lisa Piper 
Sent: Wednesday, April 25, 2007 11:42 AM
To: Korchemny, Dmitry; Kulshrestha, Manisha
Cc: sv-ac@eda.org
Subject: comment on 1599 4/23 update

 

Hi Dmitry and Manisha,

 

Regarding the 4/23 update of 1599, it states:

 

"The coverage counters for success, failure or vacuous success do not
include disabled evaluations. The

attempt counter includes the attempts which result in disabled
evaluation. None of the counters are updated when an assertion is killed
or turned off e.g. as a result of $assertkill or $assertoff."

 

LISA>>>  All of the appropriate counters should be updated when
$assertoff occurs since assertions in flight are completed.  It is only
an issue with $assertkill.

[Lisa Piper >>>] It is true that no counters will be updated when
$assertoff or $assertkill are on at the start of a NEW attempt.

 Furthermore, the formula:

 

"For any assertion, the number of attempts that have not

yet reached any conclusion (success or failure) can be derived from the
formula:

in progress = attempts - (successes + vacuous success + disabled +
killed + failures)"

 

LISA>>> would seem to require that the attempt counter is incremented
for a killed assertion, which is inconsistent with the above statement

 

 


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