RE: [sv-ac] [sv=ac] 23.2.4, 23.11 Binding a checker to an interface // contradictory??

Hi,

I think that before checkers were introduced, only interfaces could be instantiated (and bound) to interfaces. When checkers were introduced, this part of the LRM was not updated to allow checkers in interfaces direct instantiation and bind.

ed

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Monday, August 13, 2012 3:30 AM
To: hdlcohen@gmail.com; sv-ac@eda-stds.org
Subject: RE: [sv-ac] [sv=ac] 23.2.4, 23.11 Binding a checker to an interface // contradictory??

Hi, Ben.

I don't have access at the moment to the LRM, but according to what you have quoted, the answer is clearly NO.
You have quoted the BNF, but the BNF of the bind_directive explicitly points you to Footnote 4, which restricts binding to interfaces.
More generally, the BNF is supplemented by the text of the LRM, as we have discussed many times.

I can't tell you at the moment what was the reason for the restriction.

Regards,
Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Ben Cohen
Sent: Monday, August 13, 2012 07:40
To: sv-ac@eda-stds.org; Korchemny, Dmitry; Seligman, Erik; Prabhakar, Anupam
Subject: [sv-ac] [sv=ac] 23.2.4, 23.11 Binding a checker to an interface // contradictory??

 Question: Can I bind a checker to an interface?
Section 23.2.4 seems to say NO because if the target scope is an interface, then the bind instantiation shall be an interface identifier.
But
23.11 says YES
Am I reading this wrong?
I understood that you can bind a checker to an interface.
Ben
---------
23.2.4 Module contents
4) If the bind_target_scope is an interface_identifier or the bind_target_instance is an interface_instance_identifier,
then the bind_instantiation shall be an interface_instantiation.
Syntax 23-5-Module item syntax (excerpt from Annex A)

23.11 Binding auxiliary code to scopes or instances
bind_directive4 ::= // from A.1.4
  bind bind_target_scope [: bind_target_instance_list] bind_instantiation ;
  | bind bind_target_instance bind_instantiation ;
bind_target_scope ::=
  module_identifier
  | interface_identifier
bind_target_instance ::=
  hierarchical_identifier constant_bit_select
bind_target_instance_list ::=
   bind_target_instance { , bind_target_instance }
bind_instantiation ::=
  program_instantiation
  | module_instantiation
  | interface_instantiation
  | checker_instantiation

--
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.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.