Does Not Cover one of same two assertion?

UVM
, , ,
1

Hi,

I wrote two assertion in same way, but one of them is covered, but other does not.

(a_signal == 16’h48) ##[1:6] $fell(c_signal) |=> it is ok

(a_signal == 16’h28) ##[1:6] $fell(c_signal) |=> does not work

I observed test’s graphic that two cases (16’h48 and 16’h28) occur. but the one of assertion doesnt cover.

2

In reply to nrllhclb:

You are showing only the pre-conditions. But we do not see what should happen after the pre-condition was met.

3

In reply to nrllhclb:

What you show are sequences, not complete assertions.