[sv-bc] 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.

-- 
Regards
Surya




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