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.Received on Thu Sep 20 08:25:45 2007
This archive was generated by hypermail 2.1.8 : Thu Sep 20 2007 - 08:25:58 PDT