From afe0220f9a2f132dc8655c48da05aae5121a570b Mon Sep 17 00:00:00 2001
From: Yvan Tortorella <ytortorella@lagrev3.ee.ethz.ch>
Date: Sat, 1 Jun 2024 13:02:13 +0200
Subject: [PATCH] Relax assertion on OoO mux ID width.

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

diff --git a/rtl/core/hci_core_mux_ooo.sv b/rtl/core/hci_core_mux_ooo.sv
index 9fdabf8..722c0ae 100644
--- a/rtl/core/hci_core_mux_ooo.sv
+++ b/rtl/core/hci_core_mux_ooo.sv
@@ -244,7 +244,7 @@ module hci_core_mux_ooo
     // initial
     //   iw_in :  assert(in[i].IW  == 0);
     initial
-      iw_out :  assert(out.IW  == $clog2(NB_CHAN));
+      iw_out :  assert(out.IW  >= $clog2(NB_CHAN));
     initial
       ew :  assert(in[i].EW  == out.EW);
     initial