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.