RE: [sv-ac] Mantis 1758 - updated proposal

Hi Ed,

Aside from the need of blue colors in some places (just do a once over
read, of the "WITH" sections to find these), I have a suggestion -- how
about we use "iff" instead of adding "<->" ?

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Tuesday, September 18, 2007 7:30 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Mantis 1758 - updated proposal

Hello,

I have updated the proposal for #1758 - Boolean eimplication and
equivalence. Uploaded and attached here. It is updated relative to Draft
3a and only in expressions (implies and iff are part of linear property
operators.)

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.