Hi, Looking at file 1900_checkers_part1_080718_dk.pdf, I saw a few minor items. At the top of page 4: Clause 17 describes checkers. Checkers. Checkers allow the encapsulation of assertions and modeling code to create a single verification entity. "Checkers" makes a redundant appearance. On page 11, in the change to Syntax 16-16, the new "concurrent_assertion_item" should have a comment "// from A.2.10" The change in 16.15.5 needs to be coordinated with Mantis 2398. They are not completely consistent. In the dashed list at the beginning of 22.9, "Checkers" should be placed after "Programs", like everywhere else. checker and endchecker need to be added to Table 21-5. Thanks, Shalom Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6582 +972 54 721-1033 --------------------------------------------------------------------- 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 Mon Aug 4 07:03:11 2008
This archive was generated by hypermail 2.1.8 : Mon Aug 04 2008 - 07:03:15 PDT