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.