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

Hi Ed,

Sorry, ignore my message. I missed the closing parenthesis somehow.

Dmitry

-----Original Message-----
From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
Sent: Thursday, September 20, 2007 10:45 PM
To: Korchemny, Dmitry; Eduard Cerny; sv-ac@eda-stds.org
Subject: 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.
> 
---------------------------------------------------------------------
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.