RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce

I split it since it deals with two things and I thought it is easier to
read.
ed
 

> -----Original Message-----
> From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
> Sent: Monday, October 08, 2007 2:59 PM
> To: Eduard Cerny; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce
> 
> Hi Ed,
> 
> It looks strange to me when one sentence is split between two
> paragraphs. But I don't insist on the change.
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
> Sent: Monday, October 08, 2007 8:51 PM
> To: Korchemny, Dmitry; Eduard Cerny; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce
> 
> Hi Dmitry,
> 
> Why? I separated it it on purpose to make it more readable... why does
> it matter?
> 
> ed
>  
> 
> > -----Original Message-----
> > From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
> > Sent: Monday, October 08, 2007 2:34 PM
> > To: Eduard Cerny; sv-ac@eda-stds.org
> > Subject: RE: [sv-ac] Manits 1758: Boolean Implication and 
> Equivalelnce
> > 
> > Hi Ed,
> > 
> > On the page 3 two lines need to be joined:
> > 
> > "The logical implication expression1 -> expression2 is a 
> shorthand for
> > writing (!expression1 || expression2),"
> > 
> > and
> > 
> > " and the logical equivalence expression1 <-> expression2 is 
> > a shorthand
> > for writing ((expression1 -> expression2) && (expression2 ->
> > expression1))."
> > 
> > Thanks,
> > Dmitry
> > 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org 
> > [mailto:owner-sv-ac@server.eda.org] On
> > Behalf Of Eduard Cerny
> > Sent: Monday, October 08, 2007 2:17 PM
> > To: sv-ac@server.eda-stds.org
> > Subject: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce
> > 
> > Hello,
> > 
> > I have uploaded an updated proposal following Shalom's 
> > recommendations.
> > Also attached here.
> > 
> > Best regards,
> > 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.