[sv-bc] Query on bind

Hello,

 

P1800 LRM 2005 says the following on Bind construct

 

17.15 Binding properties to scopes or instance

 

..

...

There are two forms of bind syntax. In the first form, bind_target_scope
specifies a target scope into which

the bind_instantiation should be inserted. Possible target scopes include
module, program, and interface

declarations. In the absence of a bind_target_instance_list, the
bind_instantiation is inserted into all

instances of the specified target scope, designwide.

 

Bind without instance list, is applied to all instance in the design,
irrespective of where bind is declared. 

That means if such bind construct appears in design top, middle or bottom,
it has the same impact.

Is this interpretation correct? If not please let me know the correct
interpretation.

 

If the impact for instance-less bind is designwide, then it is somewhat
similar to defparam. Defparam inside

generate block cannot change parameter outside the block as per 1364 LRM
2005

 

12.2.1 defparam statement

 

Using the defparam statement, parameter values can be changed in any module
instance throughout the

design using the hierarchical name of the parameter. See 12.5 for
hierarchical names.

However, a defparam statement in a hierarchy in or under a generate block
instance (see 12.4) or an array of

instances (see 7.1 and 12.1.2) shall not change a parameter value outside
that hierarchy.

 

I believe similar limitation on bind is needed for a clean elaboration flow.
Please give your comments on this.

 

Thanks,

Saikat




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.