RE: [sv-ac] question on bind

The bind_target_scope is the target scope into which the
bind_instantiation will be inserted.  Since modules, interfaces and
programs cannot be instantiated in a program, a program cannot be the
target scope for a bind_instantiation.

-- Brad

-----Original Message-----
From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Thursday, October 19, 2006 2:05 PM
To: Brad Pierce
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] question on bind

Hi Brad,

If I go back to 315, it is at least consistent, text and BNF both say
the target can be a program block.  But I don't think you are allowed to
instantiate anything in a program block, so it does not make sense to
say you can bind to a program block (since that creates and instance in
the program block). It looks as if that was half fixed sometime later
and the half fixed is what went into IEEE 1800. 

If one does not already exist, I'm willing to file the mantis proposal
after we agree that the program block should not be a legitimate target.
At least one user has stated that they want this. Personally, I could
see wanting to put assertions in the test this way, but I don't think
the tool can or should limit the content of the bound module to be only
assertions.

A better solution might be to add a PSL "vunit-like" concept where the
content of the vunit is placed inline with the program/module/interface
at the end of it.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Brad
Pierce
Sent: Thursday, October 19, 2006 1:52 PM
To: sv-ac@eda-stds.org
Subject: RE: [sv-ac] question on bind

Lisa,

I think the text is in error, not the BNF.  For some background, see 
 
  http://www.eda-stds.org/sv-bc/hm/2665.html
 
and the bugnotes in
 
  http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000315
 
-- Brad

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Lisa
Piper
Sent: Thursday, October 19, 2006 10:39 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] question on bind



Hi all,

 

I have noticed some inconsistencies in Section 17.15 text and the BNF in
A.1.4 that relate to bind.  The text after the BNF states that "Possible
target scopes include module, program, and interface declarations"   but
the BNF only shows modules and interfaces. 

 

Is there a need to be able to have a program as the bind target scope?
If so, can you give me an example?

 

Lisa