Re: [sv-bc] Query on bind

Your conceptual understanding of the flow is correct; yes,
you do have to reconsider things "above" you in a conditional
manner.  The costs and impact of doing that are highly
dependent on overall implementation but there are no inherently
inefficient aspects to what needs to be done.  The "restart
from the top" could be very expensive if an implementation
required a full top-down re-elaboration, but there is nothing
in the spec that requires such an approach and there are many
other more "incremental" approaches that lead to efficient
handling of such issues.

Gord.

Saikat Bandyopadhyay wrote:
> Hello Gord,
> 
> Thanks a lot for your reply.
> Yes, the section mentioned by you is good enough to avoid
> any circular dependency. However bind support without scope
> can result in some severe inefficiency in elaboration.
> Please consider the following example
> 
> module top(...)
>   mid m1(...);
>   mid m2(...);
>   ...
>   mid mN(...);
>   mid2 mm(...);
> endmodule
> 
> module mid(...);
> ...
> endmodule
> 
> module mid2(...);
>   mid m1(...)
>   mid m2(...)
>   generate
>   if (p=1) begin
>     mid m3(...);
>     mid m4(...);
>     bind mid mid_verif mv(...);
>   end
>   endgenerate
> endmodule
> 
> module mid_verif(...);
> ...
> endmodule
> 
> Please note that bind construct in mid2 is under generate and we
> are not sure if this will occur in the true path until the elaboration
> of mid2. By that time elaboration of lot of instances of mid has
> happened(may be with different parameters). To support this we
> will have to "restart again from top and add binded instance in
> all pre-elaborated copies of mid" and ofcourse in the unelabotated
> mid, for correct down the line elaboration of yet unelaborated
> instances of mid.
> 
> Any clarification, comments on this will be appreciated.
> 
> Thanks,
> Saikat
> 

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


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