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

I am confused because the following wording makes it sound required:

> 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 

And if it is optional and not implemented, is the only effect that the
statement_or_null is executed?

Thanks,
Shalom


> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
> Sent: Tuesday, September 04, 2007 11: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.