[sv-ec] covergroup bins using wildcard in ranges

Please consider example like below. Wildcards are used in ranges which is
not explicitly forbidden by LRM. But LRM also does not defines how such code
should work.
Any ideas? Maybe it should be forbidden ?
 
module top;
 bit [3:0] a;
 covergroup g1;
  coverpoint a
  {
   wildcard bins wb1[] = {[4'bzz01:4'b0zzz]};
  }
 endgroup
 
 g1 g1_1 = new();
 
endmodule
 
DANiel

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