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

Hi Ed,

Two comments:

1. It should be noted that this is written relative to the changes of
1460 that adds action blocks to assume property. 

2. It does not appear to have the same semantics as the assume property
given that it does not have an action block so I would change that
sentence.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Friday, May 11, 2007 11: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.