Ok, two vs. one, I removed it Doron >>-----Original Message----- >>From: Korchemny, Dmitry >>Sent: Tuesday, November 27, 2007 9:32 AM >>To: Bustan, Doron; 'Kulshrestha, Manisha' >>Cc: 'sv-ac@server.eda.org' >>Subject: RE: [sv-ac] call to vote on 1757 >> >>Hi Doron, >> >>I agree with Manisha, I think that this sentence is somewhat misleading. >>It would be enough to say that abort conditions are sampled. >> >>Thanks, >>Dmitry >> >>-----Original Message----- >>From: Bustan, Doron >>Sent: Tuesday, November 27, 2007 9:01 AM >>To: Kulshrestha, Manisha; Korchemny, Dmitry >>Cc: sv-ac@server.eda.org >>Subject: RE: [sv-ac] call to vote on 1757 >> >> >>Hi Manisha, Dmitry, >> >>Manisha, I fix most of your remarks. I have one comment thus >> >>>>Also, is >>>>there any need to specify that its sampled value is evaluated at the >>>>observed region ? We do not have any such wording for disable iff. >> >>[[DB:]] I remember somebody asking for this remark I don't remember who. I >>think that it is not true for disable iff because there, the evaluation >>should terminate if the disable condition occur in any region. >> >>So maybe it is important to say this, just to emphasize that distinction. >> >> >>Dmitry, I fixed it. >> >>Thanks >> >>Doron --------------------------------------------------------------------- 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.
This archive was generated by hypermail 2.1.8 : Tue Nov 27 2007 - 02:55:07 PST