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

This satisfies my concern.

Thanks,
Shalom 

> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
> Sent: Wednesday, September 05, 2007 12:00 AM
> To: Lisa Piper; Eduard Cerny; Bresticker, Shalom; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] #1729 - immediate assume and cover
> 
> Hi Lisa and all,
> 
> I aligned the proposal with 1768 (or so I hope). I have 
> uploaded the proposal and also atteched here. Let me know if 
> it can fly now.
> 
> Best regards,
> 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.