I agree with Shalom. Dmitry From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bresticker, Shalom Sent: Thursday, July 23, 2009 7:58 AM To: ben@systemverilog.us; sv-ac@server.eda.org Subject: RE: [sv-ac] 16.16 Disable iff resolution // Question No, it was not corrected. However, I believe that it does not mean that checkers are excluded, as 17.2 says, "Clock and disable iff contexts are inherited from the scope of the checker declaration". I think you should file a Mantis. Shalom ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of ben cohen Sent: Thursday, July 23, 2009 1:05 AM To: sv-ac@server.eda.org Subject: [sv-ac] 16.16 Disable iff resolution // Question 16.16 Disable iff resolution: .. Furthermore, the default extends to any nested module, interface, or program declarations, and to nested generate blocks ... The scope does not extend into any instances of modules, interfaces or programs. Should this be: ... Furthermore, the default extends to any nested module, interface, or program declarations, checkers, and to nested generate blocks. ...The scope does not extend into any instances of modules, interfaces, checkers, or programs. Was this ever corrected? If not, does that mean that checkers are excluded? Ben -- 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 Wed Jul 22 23:36:03 2009
This archive was generated by hypermail 2.1.8 : Wed Jul 22 2009 - 23:37:03 PDT