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.