Hi, I have reviewed 1361. There seems to be one issue with the changes: - In clause 19.1, the $assertvacuousoff has been changed to $assertnonvacuousoff. This needs to be fixed. Manisha -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Thursday, October 04, 2007 6:03 PM To: sv-ac@server.eda-stds.org Subject: [sv-ac] Draft4 review Hi Folks: We need to review the implementations in Draft4 of the following Mantis items: 1361 [TS/MK] 1460 [DK] 1550 [EC] 1674 [EC] (consider reference to 1648) 1677 [DK] 1704 [LP] 1730 [EC] 1734 [JH] 1735 [LP] 1768 [LP] The owners of these items should review the implementation and send the results to the reflector. Please consider any questions or issues in the notes from the Editor. I would like for the reviews to be completed in one week (by 2007-10-11). If the owner cannot do the review in this time, please try to find an alternate reviewer who can check the implementation in Draft4. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Oct 8 00:04:31 2007
This archive was generated by hypermail 2.1.8 : Mon Oct 08 2007 - 00:05:16 PDT