Hi . 1757 accept_on/reject_on - to be reviewed and approved by SV-CC Note from JH: "To align with 1987, "verification statement" should be changed to "assertion statement" or "concurrent assertion" as appropriate. There are several occurrences." [[DB:]] there was one occurrence of "verification statement" I changed it to "concurrent assertion": ---accept_on operates at the property level rather than the concurrent assertion level. The only thing on the sv-cc reflector is the announcement by December 20, from Francoise Martinolle that it needs to be reviewed by cc. -- This message has been scanned for viruses and dangerous content by MailScanner <http://www.mailscanner.info/> , 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 Tue Mar 4 00:06:51 2008
This archive was generated by hypermail 2.1.8 : Tue Mar 04 2008 - 00:07:09 PST