[sv-ec] What does repetition of a transition wildcard mean?

What does this mean:

wildcard bins rep = {2'b00 => 2'b1? [*2] => 2'b11};

Is it this:

wildcard bins rep {(2'b00 => 2'b1? => 2'b1? => 2'b11)}; // 4 possible transition sequences

or this:

wildcard bins rep {(2'b00 => 2'b10 [*2] => 2'b11), (2'b00 => 2'b11 [*2] => 2'b11)};  // 2 possible transition sequences


And what does this mean exactly:

wildcard bins goto_rep = {2'b00 => 1'b?1 [->1] => 1'b11};

Is the above equivalent to this:
wildcard bins goto_rep = {(2'b00 => 2'b01 [->1] => 2'b11), (2'b00 => 2'b11 [->1] => 2'b11)};
Or is it equivalent to this:
wildcard bins goto_rep = {(2'b00 => ... 2'b?1 => 2'b11)};
Where ... contains any transition that doesn't match 2'b?1

The difference is that in the first case, 2'b00=>2'b11=>2'b01=>2'b11 should have a hit, but in the second case it would not.

-Brandon


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