Skip to content

Commit 22764e6

Browse files
committed
[dv] Fix u_rst_shadow_cnt behavior in testbench
Two fixes: - When `LockstepOffset = 1`, the `u_rst_shadow_cnt` instance does not exist. - Fix the `u_rst_shadow_cnt` instance path as it is now in `gen_reset_counter`. Signed-off-by: Pascal Nasahl <[email protected]>
1 parent 92ee937 commit 22764e6

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

dv/uvm/core_ibex/tb/core_ibex_tb_top.sv

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -379,9 +379,10 @@ module core_ibex_tb_top;
379379
end
380380

381381
// Manually set unused_assert_connected = 1 to disable the AssertConnected_A assertion for
382-
// prim_count in case lockstep (set by SecureIbex) is enabled. If not disabled, DV fails.
383-
if (SecureIbex) begin : gen_disable_count_check
384-
assign dut.u_ibex_top.gen_lockstep.u_ibex_lockstep.u_rst_shadow_cnt.
382+
// prim_count in case lockstep (set by SecureIbex) is enabled and the lockstep offset is
383+
// larger than 1. If not disabled, DV fails.
384+
if (SecureIbex && LockstepOffset > 1) begin : gen_disable_count_check
385+
assign dut.u_ibex_top.gen_lockstep.u_ibex_lockstep.gen_reset_counter.u_rst_shadow_cnt.
385386
unused_assert_connected = 1;
386387
end
387388

0 commit comments

Comments
 (0)