[edn/dv] fix broken private CI tests

This fixes broken DV tests run in private CI that was introduced in #22602. Signed-off-by: Tim Trippel <[email protected]>
lowRISC · Apr 19, 2024 · 375c7bd · 375c7bd
1 parent e7426d6
commit 375c7bd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hw/ip/edn/dv/sva/edn_assert_if.sv b/hw/ip/edn/dv/sva/edn_assert_if.sv
@@ -23,13 +23,13 @@
 interface edn_assert_if(input clk, input rst_n);
 
   task automatic assert_off ();
-    $assertoff(0, `PATH1.CntErrBackward_A);
+    $assertoff(0, `PATH1.CntErrReported_A);
     $assertoff(0, `PATH6.u_state_regs_A);
     $assertoff(0, `PATH7.u_state_regs_A);
   endtask // assert_off
 
   task automatic assert_on ();
-    $asserton(0, `PATH1.CntErrBackward_A);
+    $asserton(0, `PATH1.CntErrReported_A);
     $asserton(0, `PATH6.u_state_regs_A);
     $asserton(0, `PATH7.u_state_regs_A);
   endtask // assert_on