[sv-ec] Conflicting name creation for coverpoints

Hi All,

I have a query regarding naming for coverpoints when covergroups have arguments.

Consider the following definition of a covergroup:

covergroup cg(ref logic [23:0] f1) @(posedge clk);
  coverpoint f1 {
      bins b1[] = {[0:20]};
  }
endgroup

As per section 19.5 of draft 9 of SysV LRM "If the label is omitted and the coverage point is associated with a single variable, then the variable name becomes the name of the coverage point." This is shown in one example as well.

But here this causes conflict as we will have a coverpoint with the name "f1"
as well as an reference parameter with the same name "f1". Now both these symbols
having same name "f1" exist in the same scope i.e. covergroup scope. Isn't this ambiguous?

Thanks
Saurabh


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