The BNF was changed. checker_declaration is included in package_or_generate_item_declaration, and the latter is included in package_item and in module_or_generate_item_declaration. That appears in non_port_program_item. I'm not clear on how the BNF allows a checker to include a checker_declaration, though. Shalom ________________________________ From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Surya Pratik Saha Sent: Thursday, December 31, 2009 12:30 PM To: sv-bc@eda.org Subject: [sv-bc] Checker declaration scope Hi, I don't have access to SV 2009 LRM yet. As per SV 2009 draft7a LRM (17.2 Checker declaration): A checker may be declared in one of the following: - A module - An interface - A program - A checker - A package - A generate block - A compilation unit scope But BNF allows 'checker_declaration' only in compilation_unit, module and interface. Which one is correct here? -- Regards Surya -- 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 Thu Dec 31 03:27:22 2009
This archive was generated by hypermail 2.1.8 : Thu Dec 31 2009 - 03:30:00 PST