From 374cdbb1b87a12baaba3ac631e70c6dd7049e997 Mon Sep 17 00:00:00 2001 From: Michael Schaffner Date: Mon, 22 Jan 2024 16:10:24 -0800 Subject: [PATCH] [rv_dm] Fix an assertion The assertion is for the same condition as in the pinmux_strap_sampling module. However, as opposed to that module, there are some modifications to the strap_en_i signal resulting in a local version of it (strap_en) and the SVA needs to be formulated for that one instead. Signed-off-by: Michael Schaffner --- hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv b/hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv index 1bbbb22da609d..dfa502f90952f 100644 --- a/hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv +++ b/hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv @@ -262,12 +262,12 @@ module rv_dm_dmi_gate lc_tx_test_true_strict(strap_hw_debug_en_q) |-> $past(lc_tx_test_true_strict(lc_hw_debug_en[0]))) - // Check that latching ON can only occur if strap_en_i is set. + // Check that latching ON can only occur if strap_en is set. `ASSERT(LcHwDebugEnSetRev1_A, lc_tx_test_false_loose(strap_hw_debug_en_q) ##1 lc_tx_test_true_strict(strap_hw_debug_en_q) |-> - $past(strap_en_i)) + $past(strap_en)) // Check that any non-OFF value on lc_check_byp_en_i and // lc_escalate_en_i clears the latched value. `ASSERT(LcHwDebugEnClear_A,