commit 597bfa86a3603a77db55b89a58e7ecf7a239c3aa
author Muqing Liu <muqing.liu@wdc.com> Mon Apr 04 10:50:23 2022 -0700
committer Rupert Swarbrick <rswarbrick@gmail.com> Tue Apr 05 14:32:36 2022 +0100
tree f824fbd48a94e26e06665a6cbf9c32bc7474c89d
parent 27e2b13464ecc5a322922da9b00cd91e9f77ebfe

[edn, dv] Fix assertion fail issue

  - Turn off assertions that fail unexpectedly

Signed-off-by: Muqing Liu <muqing.liu@wdc.com>

hw/ip/edn/dv/sva/edn_assert_if.sv

diff --git a/hw/ip/edn/dv/sva/edn_assert_if.sv b/hw/ip/edn/dv/sva/edn_assert_if.sv
index 5e97957..7d8589c 100644
--- a/hw/ip/edn/dv/sva/edn_assert_if.sv
+++ b/hw/ip/edn/dv/sva/edn_assert_if.sv
@@ -15,6 +15,10 @@
     tb.dut.u_edn_core.u_prim_mubi4_sync_auto_req_mode
 `define PATH5 \
     tb.dut.u_edn_core.u_prim_mubi4_sync_cmd_fifo_rst
+`define PATH6 \
+    tb.dut.u_edn_core.u_edn_main_sm
+`define PATH7 \
+    tb.dut.u_edn_core.gen_ep_blk[0].u_edn_ack_sm_ep
 
 interface edn_assert_if
 (
@@ -23,10 +27,14 @@
 
   task automatic assert_off ();
     $assertoff(0, `PATH1.CrossCntErrBackward_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.CrossCntErrBackward_A);
+    $asserton(0, `PATH6.u_state_regs_A);
+    $asserton(0, `PATH7.u_state_regs_A);
   endtask // assert_on
 
   task automatic assert_off_alert ();