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

I think so.

Shalom

________________________________
From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Tuesday, January 13, 2009 3:00 PM
To: Bresticker, Shalom
Cc: sv-ec@server.eda.org
Subject: Re: [sv-ec] Different name space for coverpoint and formal arguments

So should I file a Mantis? Please suggest.

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-ec] Different name space for coverpoint and formal arguments
From: Bresticker, Shalom <shalom.bresticker@intel.com><mailto:shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com><mailto:spsaha@cal.interrasystems.com>
Cc: "sv-ec@server.eda.org"<mailto:sv-ec@server.eda.org> <sv-ec@eda.org><mailto:sv-ec@eda.org>
Date: Tuesday, January 13, 2009 6:25:02 PM
Yes, I guess this is not clear. I was thinking that it is included since the binsof expression can only appear in a cross declaration, but the wording does not imply that.

Shalom

________________________________
From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Tuesday, January 13, 2009 7:02 AM
To: Bresticker, Shalom
Cc: sv-ec@server.eda.org<mailto:sv-ec@server.eda.org>
Subject: Re: [sv-ec] Different name space for coverpoint and formal arguments

Hi Shalom,
I am not clear. How "coverpoint list of a cross declaration" is associated with binsof  expression?

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-ec] Different name space for coverpoint and formal arguments
From: Bresticker, Shalom <shalom.bresticker@intel.com><mailto:shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com><mailto:spsaha@cal.interrasystems.com>
Cc: "sv-ec@server.eda.org"<mailto:sv-ec@server.eda.org> <sv-ec@eda.org><mailto:sv-ec@eda.org>
Date: Monday, January 12, 2009 7:38:58 PM
I think this is the first item in the list:

- In the coverpoint list of a cross declaration (see 19.6),
There is an example in 19.6.1.

Regards,
Shalom

________________________________
From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Monday, January 12, 2009 3:55 PM
To: Bresticker, Shalom
Cc: sv-ec@server.eda.org<mailto:sv-ec@server.eda.org>
Subject: Re: [sv-ec] Different name space for coverpoint and formal arguments

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><mailto:shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com><mailto:spsaha@cal.interrasystems.com>
Cc: "sv-ec@server.eda.org"<mailto:sv-ec@server.eda.org> <sv-ec@eda.org><mailto: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>
[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<mailto:sv-bc@eda.org>; sv-ac@eda.org<mailto: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.



---------------------------------------------------------------------
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.


---------------------------------------------------------------------
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.