Re: [sv-ec] Different name space for coverpoint and formal arguments

From: Surya Pratik Saha <spsaha_at_.....>
Date: Mon Jan 12 2009 - 05:54:43 PST

Hi Shalom,
I have just discovered that 'cover_point' identifier can be used in binsof expression too as per the BNF. But the list is missing that context. Please let me know your thought. Here is the BNF:

select_condition ::= binsof ( bins_expression ) [ intersect { open_range_list } ]
bins_expression ::=
variable_identifier
| cover_point_identifier [ . bins_identifier ]

Regards
Surya

-------- Original Message  --------
Subject: Re:[sv-ec] Different name space for coverpoint and formal arguments
From: Bresticker, Shalom <shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Cc: "sv-ec@server.eda.org" <sv-ec@eda.org>
Date: Monday, January 05, 2009 8:55:20 PM

A better illustration of your question would be the following from the same example:

covergroup cg ( ref int x , ref int y, input int c);
..
	c: coverpoint x; // creates coverpoint "c" covering the formal "x"

where c is used as a coverpoint name although it also refers to the formal argument c.

This was discussed in the past.

I think the following text from before the example attempts to resolve the question:

A coverpoint name has limited visibility. An identifier can only refer to a coverpoint in the following contexts:
- In the coverpoint list of a cross declaration (see 19.6),
- In a hierarchical name where the prefix specifies the name of a covergroup variable. For example, cov1.cp.option.weight where cov1 is the name of a covergroup variable and cp is the name of a coverpoint declared within the covergroup.
- Following ::, where the left operand of the scope resolution operator refers to a covergroup. For example, covtype :: cp :: type_option.weight

Shalom


  

-----Original Message-----
From: owner-sv-ac@server.eda.org 
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Surya Pratik Saha
Sent: Monday, January 05, 2009 7:40 AM
To: sv-bc@eda.org; sv-ac@eda.org
Subject: [sv-ac] Different name space for coverpoint and 
formal arguments

Hi,
Do coverpoint label and formal arguments not share same name 
space in the covergroup? I did not see anything explicitly 
written in the SV 2009 draft LRM.

Though there is an example:
covergroup cg ( ref int x , ref int y, input int c);

x: coverpoint x;
...

Which may mean that. So LRM must be clear on that.
    

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.





  

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Mon Jan 12 05:55:41 2009