Skip to content

Commit

Permalink
[rv_dm] Fix an assertion
Browse files Browse the repository at this point in the history
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 <msf@opentitan.org>
  • Loading branch information
msfschaffner committed Jan 23, 2024
1 parent 0e16c0e commit 374cdbb
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions hw/ip/rv_dm/rtl/rv_dm_dmi_gate.sv
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 374cdbb

Please sign in to comment.