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

Hi Adam,

Thanks for the thorough review of the proposal.
A new version of the proposal has been uploaded which
I hope will take care of all your questions.

For comparison purposes, I left the original proposal
on the Mantis site.

    http://www.eda.org/svdb/bug_view_page.php?bug_id=0000315

Please see below for some short answers to your questions.

Regards,
Doug

> -----Original Message-----
> From: Adam Krolnik [mailto:krolnik@lsil.com]
> Sent: Thursday, November 18, 2004 10:01 AM
> To: Warmke, Doug
> Cc: sv-bc@eda.org
> Subject: Re: [sv-bc] New Mantis item SV-BC 315 added
>
>
>
> Hi Doug;
>
> You wrote:
> >1. It is now possible to disambiguate between
> instance and module namespaces.
> >e.g. If binding to identifier "foo", and there is a local
> instance named "foo" and a
> >module named "foo", a user can unambiguously specify to
> which one binding occurs.
>
> FYI, there is a precedence rule (coming from hierarchical
> scope resolution) that prefers
> instances first over module names. But this does not help
> for the rest of types.
>
>
> Can you add some descriptive text to define and explain the
> new components of a bind
> statement? I.e. explain what the bind target identifier is
> for and what the bind
> target list is for. Examples are supporting material, not
> defining material.
>
Agreed. More description has been added.

>
> Can you mention nonstandard extensions (such as `uselib) in an LRM?

IMHO, Yes. (Since it is such useful information to the reader).

>
> What is the definition of an "identical bind instantiation" ?

Rephrased this area of the proposal to use existing terminology
based on the module namespace described in Section 18.13.

>
> Can I bind the same component to the same place, but with
> different arguments to its
> parameters? Or would this case be an identical bind
> instantiation that is disallowed?

It is disallowed, since a collision would be introduced in
the module namespace.

Thank you,
Doug

>
>
> Thanks.
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
> Co-author "Assertion-Based Design"
>
>
>
Received on Thu Nov 18 17:52:42 2004