mshr: Prevent assertion misfire during reset

paulsc96 · Nov 6, 2024 · 6e37f31 · 6e37f31
1 parent edd501c
commit 6e37f31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rtl/src/hpdcache_mshr.sv b/rtl/src/hpdcache_mshr.sv
@@ -402,7 +402,7 @@ import hpdcache_pkg::*;
     //  Assertions
     //  {{{
 `ifndef HPDCACHE_ASSERT_OFF
-    one_command_assert: assert property (@(posedge clk_i)
+    one_command_assert: assert property (@(posedge clk_i) disable iff (rst_ni !== 1'b1)
             (ack_i -> !(alloc_i || check_i))) else
             $error("MSHR: ack with concurrent alloc or check");
 `endif