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

Hi Dmitry, 

I am not sure I follow what you mean. The text says:

The operator expression1 -> expression2 is a shorthand for writing
!(expression1) || expression2 

what is missing there?

Or do you prefer the form

(!expression1) || expression2 

I think that either is OK, no?

Best regards,
ed



> -----Original Message-----
> From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
> Sent: Thursday, September 20, 2007 11:24 AM
> To: Eduard Cerny; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Mantis 1758 - updated proposal
> 
> Hi Ed,
> 
> The trailing parenthesis is missing in
> 
> !(expression1) || expression2
> 
> (page 3).
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of Eduard Cerny
> Sent: Tuesday, September 18, 2007 4:30 PM
> To: sv-ac@server.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.
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.