Specman Tip

*** Error: Using sampling for the repeat part of first-match temporal expressions is illegal. Currently this sampling is ignored.

How many of you had this error and said: "WTF?!?!?! how can you not like this you stupid Specman?!?!?!"

WORKAROUND:

the error comes up when you have temporal expressions in which you want to use a different sampling event for a repeat part.

Example:

The following code will produce this annoying error:

expect @event01_e => {[3..4]@event02_e; true(counter == 3)}@clk_r_e else
dut_error("Counter is not 3");

However, there is a very simple workaround to produce a working code:

expect @event01_e => {[3..4] * @event02_e; true(counter == 3)}@clk_r_e else
dut_error("Counter is not 3");

Hope this helps!