Re: [sv-ac] SVA: bind_directive syntax not same as LRM 17.15 description

From: Surrendra Dudani <Surrendra.Dudani@synopsys.com>
Date: Thu Jun 24 2004 - 11:43:38 PDT

Hi Ben,
The example seems to follow the BNF.
bind_directive ::= bind hierarchical_identifier constant_select bind_instantiation ;
bind cr_unit range r1(c_clk,c_en,v_low,(in1&&in2));
r1 is the instance of range which contains the properties.
r1 gets bound to the module named cr_unit. consequently, all instances of cr_unit will contain r1.
This is supported by the BNF.

Am I missing something?
Surrendra
At 12:49 PM 6/24/2004 -0400, you wrote:

A.1.5  bind_directive ::= bind hierarchical_identifier constant_select bind_instantiation ;
Meaning that only instantiations are allowed.  Yet,   LRM 17.15 is quite clear in saying "properties can be bound to either modules or module instances" at multiple places. The last example in that section shows:
    bind cr_unit range r1(c_clk,c_en,v_low,(in1&&in2));

In this example, interface range is instantiated in the module cr_unit. Effectively, every instance of module

cr_unit shall contain the interface instance r1.

The syntax for the directive needs to be change to reflect that module names and interface names are also allowed, besides just instances. 

Ben

-----------------------------------------------------------------------------
Ben Cohen Trainer, Consultant, Publisher (310) 721-4830
http://www.vhdlcohen.com/ vhdlcohen@aol.com
Author of following textbooks:
* Using PSL/SUGAR for Formal and Dynamic Verification 2nd Edition, 2004 isbn 0-9705394-6-0
* Real Chip Design and Verification Using Verilog and VHDL, 2002 isbn 0-9705394-2-8
* Component Design by Example ", 2001 isbn 0-9705394-0-1
* VHDL Coding Styles and Methodologies, 2nd Edition, 1999 isbn 0-7923-8474-1
* VHDL Answers to Frequently Asked Questions, 2nd Edition, isbn 0-7923-8115
------------------------------------------------------------------------------

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel:   508-263-8072
Fax:   508-263-8123
email: Surrendra.Dudani@synopsys.com 
********************************************** Received on Thu Jun 24 11:43:45 2004