A few more: assertion_item is added to A.1.8. I think the proper place for it is A.6.10. The proposal says to add checker_identifier in A.9.3 at the end. It should be placed in alphabetical order. There is a superscript footnote 2 at checker_generate_item in A.1.8. At the end of Annex A, it is numbered as 1. It needs to be clear that they are referring to each other. In Part 2, on page 4, in Syntax 17-2, the comment "// from A.9.3" is attached to named_checker_port_connection. It should be on "checker_identifier". Thanks, Shalom ________________________________ From: owner-sv-champions@server.eda.org [mailto:owner-sv-champions@server.eda.org] On Behalf Of Bresticker, Shalom Sent: Monday, August 04, 2008 5:15 PM To: sv-sc@server.eda.org Cc: sv-champions@server.eda.org Subject: RE: [sv-champions] Mantis 1900 Part 1 - Editorial comments A couple of BNF items: The changes to Annex A list the addition of checker_declaration twice, both in A.1.2 and in A.1.8. For consistency with the rest of the BNF, A.1.2 appears to be the proper place. The change to procedural_assertion_statement appears under A.6.2. However, that is actually found in A.6.10. Regards, Shalom ________________________________ From: owner-sv-champions@server.eda.org [mailto:owner-sv-champions@server.eda.org] On Behalf Of Bresticker, Shalom Sent: Monday, August 04, 2008 5:01 PM To: sv-sc@server.eda.org Cc: sv-champions@server.eda.org Subject: [sv-champions] Mantis 1900 Part 1 - Editorial comments 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 <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 <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 Mon Aug 4 07:35:00 2008
This archive was generated by hypermail 2.1.8 : Mon Aug 04 2008 - 07:35:02 PDT