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

Sorry - so the deleted text showed up.  It should read (see the word
source):

"Tools shall collect coverage information and report the results at the
end of simulation or on demand via an assertion API (refer to Clause
38)."

-----Original Message-----
From: Lisa Piper 
Sent: Tuesday, September 04, 2007 4:33 PM
To: 'Eduard Cerny'; Bresticker, Shalom; sv-ac@eda-stds.org
Subject: RE: [sv-ac] #1729 - immediate assume and cover

Ed,

We had the same issue on 1768.  The approved working ended up being:

"Tools shall collect coverage information about the evaluation and
report the results at the end of simulation or on demand via an
assertion API (refer to Clause 38)."

I've attached the word document for your reference.

lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Tuesday, September 04, 2007 4:26 PM
To: Bresticker, Shalom; Eduard Cerny; sv-ac@eda-stds.org
Subject: RE: [sv-ac] #1729 - immediate assume and cover

Shalom,

I guess the question is whether the tool is obliged to collect the
information. 
If you look at 16.14.3, it uses the following sentence for cover
property:

"The tools can gather information about the evaluation and report the
results at the end
of simulation."

This is also optional (and uses "can" which was to be eliminated from
the cover proposal. So... which way should it be??

Regards,
ed


> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
> Sent: Tuesday, September 04, 2007 4:18 PM
> To: Eduard Cerny; sv-ac@eda-stds.org
> Subject: 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.



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