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

Hi Bassam,
Iff is used for the same in properties. The decision was to have different symbols, due to problems with operator precedence. Also, -> already exists. <-> is then bi-implication.
Ed


-----Original Message-----
From: Bassam Tabbara <bassamt@synopsys.COM>
To: Eduard Cerny <Eduard.Cerny@synopsys.COM>; sv-ac@eda-stds.org <sv-ac@eda-stds.org>
Sent: Tue Sep 18 11:19:15 2007
Subject: 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 anddangerous content by MailScanner, and isbelieved to be clean.