[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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.