[sv-ec] RE: Query regarding cross bins

19.6 says,

"The binsof construct yields the bins of its expression, which can be either a coverage point (explicitly defined or implicitly defined for a single variable) or a coverage point bin."

I interpret that to mean that the answer is no, because a was not defined even implicitly as a coverpoint.

Shalom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Vaibhav Bhutani
Sent: Tuesday, November 16, 2010 11:02 AM
To: 'sv-ec@eda.org'
Subject: [sv-ec] Query regarding cross bins


Hi,
    I have a query regarding usage of variable_identifier in cross bins. Accroding to BNF in LRM for cross bin declaration :

bins_selection ::= bins_keyword bin_identifier = select_expression [ iff ( expression ) ]
select_condition ::= binsof ( bins_expression ) [ intersect { open_range_list } ]
bins_expression ::=
variable_identifier
| cover_point_identifier [ . bins_identifier bin_identifier ]

Now, if i have a code snippet something like one mentioned below :

module test() ;
reg a, b ;
covergroup cg @(posedge clk) ;

CP1 : coverpoint a ;
CP2 : coverpoint b ;

CR1 : cross CP1, CP2
{
    bins b1 = binsof(a) intersect {5,6} ;
}
endgroup
endmodule

For bins b1, is it legal to use the variable identifier "a" (which is not part of the coverpoints comprising the Cross) in bins_expression.

Thanks,
Danish Jawed/Vaibhav Bhutani
---------------------------------------------------------------------
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.