From 375c7bda006582c4f8d22dfc0b974a952e7cc704 Mon Sep 17 00:00:00 2001 From: Tim Trippel Date: Fri, 19 Apr 2024 14:14:40 -0700 Subject: [PATCH] [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 --- hw/ip/edn/dv/sva/edn_assert_if.sv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hw/ip/edn/dv/sva/edn_assert_if.sv b/hw/ip/edn/dv/sva/edn_assert_if.sv index c5baeb0c8cd83..331022f9a08ba 100644 --- 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