RE: [sv-ac] #1729 - immediate assume and cover

Ed,

I still find the following confusing:

"The immediate cover statement is used to detect the occurrence of
specific signal values in the procedural code. The tools may collect
such information in a database and then report the results at the end of
simulation. The reporting shall include the number of times the cover
statement expression was true and in that sense it is equivalent to
recording the success of an assert statement on the same expression.
cover statements may also be used as search targets in formal tools.
The results of a cover statement shall contain the following:
- Number of times evaluated
- Number of times succeeded
In addition, statement_or_null is executed every time the cover
statement succeeds." 

In particular, the statement, "The tools may collect such information in
a database and then report the results at the end of simulation,"
indicates that this is optional due to the use of the word "may". What
other option is there?

Thanks,
Shalom


> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Eduard Cerny
> Sent: Tuesday, September 04, 2007 8:41 PM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] #1729 - immediate assume and cover
> 
> Hi,
> 
> I have made chnages to conform to the champions' comments. 
> Also I removed "- Number of time failed" but added "Number of 
> times evaluated".
> Uploaded to Mantis and attached here.
> 
> Let me know if it is acceptable now.
> 
> Best regards,
> ed
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 
> 

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