[sv-ac] Feedback on 1599

Hi,
 
For  vpi_get(vpiAssertDisableCovered, assertion_handle), there should be
a clear statement about what this function will return if called on a
cover sequence. Probably a value of 0 would be returned??
 
This formula used in this section does not apply to cover on sequences.
I think this mantis item should clarify that.
in progress = attempts - (successes + vacuous success + disabled +
failures)

 

In the part where it explains cbAssertionDisabledEvaluation, it should
add the following at the end to clarify what is disabled state:

(e.g. as a result of disable iff condition becoming true or if an
attempt starts when the disable iff is true)

Also, it should clarify what kind of handle (NULL ??) would be returned
if this call is made for an assertion which does not have disable iff
condition or on a cover sequence.

Also, while looking at this section it is not clear what the following
are for ? Probably this mantis can clarify that also.

- cbAssertionEnable. The assertion is enabled.
- cbAssertionReset. The assertion is reset.

Thanks.

Manisha


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