Skip to content

Commit

Permalink
[pwrmgr,dv] Correct name of disabled assertion
Browse files Browse the repository at this point in the history
When simulating with Xcelium, the path for the $assertoff() call needs
the initial "tb." as well.

Signed-off-by: Rupert Swarbrick <[email protected]>
  • Loading branch information
rswarbrick committed Aug 14, 2023
1 parent a405062 commit f7edbbb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hw/ip/pwrmgr/dv/env/pwrmgr_if.sv
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ interface pwrmgr_if (
if (!internal_assertion_disabled) begin
internal_assertion_disabled = 1'b1;
`uvm_info("pwrmgr_if", "disabling power glitch related SVA", UVM_MEDIUM)
$assertoff(1, dut.u_slow_fsm.IntRstReq_A);
$assertoff(1, tb.dut.u_slow_fsm.IntRstReq_A);
end
repeat (2) @(posedge clk_slow);
rst_main_n = 1'b1;
Expand Down

0 comments on commit f7edbbb

Please sign in to comment.