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

Lisa,

I see, but does that leave in dicretion to the tools to disable coverage
on cover statements, if the user so desires?   I can change it to
"shall", no problem, but is it what we want?

ed

> -----Original Message-----
> From: Lisa Piper [mailto:piper@cadence.com] 
> 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.