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

Hi Bassam,

I hope I got the colors right this time... uploaded.
ed
 

> -----Original Message-----
> From: Bassam Tabbara [mailto:bassamt@synopsys.COM] 
> Sent: Tuesday, September 18, 2007 2:19 PM
> To: Eduard Cerny; sv-ac@eda-stds.org
> 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 and
dangerous content by MailScanner, and is
believed to be clean.