RE: [sv-ac] Mantis and proposal for restrict property verification statement

Hello Brad,

I am not quite sure what to add there. The only change I could see is a
change in Table 21-14, however, it refers to keywords in 1800-2005. The
restrict keyword will go in the next release. I thought that this will
be 1800-2008. In Other words, should appear in Table B1 only and this is
in the proposal. Please advise.

Thanks,
ed
  

> -----Original Message-----
> From: Brad Pierce [mailto:bpierce@synopsys.COM] 
> Sent: Friday, May 11, 2007 12:58 PM
> To: Bassam Tabbara; Eduard Cerny
> Subject: RE: [sv-ac] Mantis and proposal for restrict 
> property verification statement
> 
> And 21.13 about `begin_keywords directive.
> 
> -- Brad 
> 
> -----Original Message-----
> From: Bassam Tabbara [mailto:bassamt@synopsys.COM] 
> Sent: Friday, May 11, 2007 9:41 AM
> To: Eduard Cerny; Brad Pierce
> Cc: sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Mantis and proposal for restrict property
> verification statement
> 
> Hi Ed,
> 
> We also need to update (see "assume" and add similar entry): 36.42,
> 36.43, 38.3.2, A.2.10.
> 
> Thx.
> -Bassam.
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Friday, May 11, 2007 9:32 AM
> To: Brad Pierce
> Cc: sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Mantis and proposal for restrict property
> verification statement
> 
> Thanks. I added a note to add restrict to table B1 and corrected the
> other two items. Uploaded.
> 
> ed
>  
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > Brad Pierce
> > Sent: Friday, May 11, 2007 12:16 PM
> > To: sv-ac@eda-stds.org
> > Subject: Re: [sv-ac] Mantis and proposal for restrict property 
> > verification statement
> > 
> > Please see, regarding new keywords,
> > 
> >     http://www.eda-stds.org/sv-ac/hm/3900.html
> > 
> > Also, in the change for Annex A.2.10 --
> > 
> >     1)  "expect_property_statement" shouldn't be added to 
> >                                "concurrent_assertion_statement".
> > 
> > 
> >     2)  The second "assume_property_statement" should be
> >                                "restrict_property_statement".
> > 
> > -- Brad
> >  
> > 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > Eduard Cerny
> > Sent: Friday, May 11, 2007 8:48 AM
> > To: sv-ac@eda-stds.org
> > Subject: [sv-ac] Mantis and proposal for restrict property 
> > verification statement
> > 
> > Hello,
> > 
> > I have created a new mantis item #1806 and deposited a 
> proposal. (also
> > attached)
> > 
> > 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.
> 
> 
> 

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