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

OK, I will align with that.
ed
 

> -----Original Message-----
> From: Lisa Piper [mailto:piper@cadence.com] 
> Sent: Tuesday, September 04, 2007 4:43 PM
> To: Eduard Cerny; Bresticker, Shalom; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] #1729 - immediate assume and cover
> 
> I have always viewwed that the tools need to be able to meet the full
> standard. Any tool can choose to disable features on request from the
> user if so desired. I did not think that aspect would need to 
> be spelled
> out in the standard.
> 
> Lisa
> 
> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
> Sent: Tuesday, September 04, 2007 4:38 PM
> To: Lisa Piper; Eduard Cerny; Bresticker, Shalom; sv-ac@eda-stds.org
> Subject: 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.