Relax assertion on OoO mux ID width.

pulp-platform · Jun 2, 2024 · afe0220 · afe0220
1 parent 44f7c32
commit afe0220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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