SBRD User guide says:
<quote>
Check a received value (ActualType) with value in scoreboard. The Match function is
used to determine if the received and expected values match. Checking is handled by
AffirmIf. As a result, if they match a log PASSED is generated, otherwise, an alert
ERROR is generated.
</quote>
I didn’t create any AlertID (yet), but was thinking the call to check API below would have incremented the AffirmCount by 1. But I see it as 0 at the end of the test and an EndOfTestCheck fails for me.
i_up_or_down <= '0';
push(SB_int, 2);
WaitForClock(i_clk, 5);
check(SB_int, 1);
i_up_or_down <= '1';
wait for 100 ns;
Failure in log:
<log>
# %% Alert ERROR in Default, Test is not Self-Checking at 350 ns
</log>
I check this at a central controlProc as:
AlertIf(GetAffirmCount < 1, "Test is not Self-Checking");