Sets of cover bins for mask bits

SystemVerilog
,
4

In reply to electron:
You can’t use a wildcard in range of values, but you can do

wildcard bins masksMSB = {'h0000_???? , 'hffff_????};