From 6e37f314550c476510eb509cfa11c59f421ec48a Mon Sep 17 00:00:00 2001
From: Paul Scheffler <paulsc@iis.ee.ethz.ch>
Date: Wed, 25 Sep 2024 18:41:02 +0200
Subject: [PATCH] mshr: Prevent assertion misfire during reset

---
 rtl/src/hpdcache_mshr.sv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtl/src/hpdcache_mshr.sv b/rtl/src/hpdcache_mshr.sv
index 34d55d3..afe4797 100644
--- 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