[sv-ec] Query regarding wildcard arithmetic expressions in wildcard bin definition

Hi

My query is regarding "what must be correct behavior when arithmetic expression involving wildcard values is part of wildcard bin definition"

Ex ::

reg [1:0] a ;
covergoup cg;
    coverpoint a {
            wildcard bins b[] = {2'b0x + 1}; // --> what must be possible bins values ???
    }
endgroup

Ques 1) In the above example what must be the possible bin values in the wildcard bins b1.
Options

a)    0,1,2,3

b)    0,1

c)     Any other possible value


Ques 2 ) Which of the below explanation is correct -

1      evaluation of "2'b0x + 1", which is 2'bxx as per LRM section 11.4.3, will be done first and then expansion of wildcard value, which will give us {0,1,2,3} as possible bin values

2      expansion of wildcard value "2'b0x" will be done first and then evaluation of arithmetic expression, which will give us {0,1} as possible bin values

3      Or is there any other behavior for such scenario.

Regards,
-Irfan

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