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

The editor will format it as needed.

Shalom 

> -----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 9:00 PM
> To: Korchemny, Dmitry; Eduard Cerny; sv-ac@server.eda-stds.org
> Subject: 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.
> 
---------------------------------------------------------------------
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.