RE: [sv-bc] New Mantis item SV-BC 315 added

Jonathan,

The instance name of the new instance in the target scope
is directly given in the bind_instantiation portion of the
bind statement. Note that bind_instantiation allows for
full instantiation syntax, just like any "normal"
instantiation statement. One can imagine simply doing
"cut-n-paste" of the text from the bind statement into
the target scope.

It shall be an error if the bound module/program/interface's name
conflicts with a pre-existing instance name in the target scope.

I'll make sure this is clear in the text.
I'll also try to clarify the text to better address
the issues that Adam brought up.

Thanks for the encouragement and support!

Regards,
Doug

> -----Original Message-----
> From: Jonathan Bromley [mailto:jonathan.bromley@doulos.com]
> Sent: Thursday, November 18, 2004 9:12 AM
> To: Warmke, Doug; sv-bc@eda.org
> Subject: RE: [sv-bc] New Mantis item SV-BC 315 added
>
> SV-BC,
>
> > -----Original Message-----
> > From: Warmke, Doug [mailto:doug_warmke@mentorg.com]
> > Sent: 18 November 2004 07:45
> > To: sv-bc@eda.org
> > Subject: [sv-bc] New Mantis item SV-BC 315 added
> >
> > I have added new Mantis item #315 regarding the "bind" statement.
> [...]
>
> This has my strong support. It seems to me that "bind" will have
> a big impact on the way some verification activities are done, and
> its scant mention in the existing LRM was disappointing.
> The clarifications and improvements are welcome.
>
> One minor question - with apologies if it simply reflects
> my misunderstanding: Suppose I bind module B into
> some instance top.X.Y , then what is the *name* of the
> bound instance of B? This would be important if, for
> example, I wanted to bind something else into this
> newly created instance of B, thereby extending its
> functionality. The name can't be "top.X.Y.B" because
> it's perfectly possible that some such named object
> already exists, before the binding is done. Is the
> bound module then to be anonymous?
> --
> Jonathan Bromley, Consultant
>
> DOULOS - Developing Design Know-how
> VHDL * Verilog * SystemC * Perl * Tcl/Tk * Verification *
> Project Services
>
> Doulos Ltd. Church Hatch, 22 Market Place, Ringwood,
> Hampshire, BH24 1AW, UK
> Tel: +44 (0)1425 471223 mail:
> jonathan.bromley@doulos.com
> Fax: +44 (0)1425 471573 Web:
> http://www.doulos.com
>
> This e-mail and any attachments are confidential and Doulos
> Ltd. reserves
> all rights of privilege in respect thereof. It is intended
> for the use of
> the addressee only. If you are not the intended recipient
> please delete it
> from your system, any use, disclosure, or copying of this
> document is
> unauthorised. The contents of this message may contain
> personal views which
> are not the views of Doulos Ltd., unless specifically stated.
>
>
Received on Thu Nov 18 11:50:29 2004