stream_xbar: Fix non-existing output assertion (#204)

pulp-platform · Dec 14, 2023 · 145e3be · 145e3be
1 parent 71a492c
commit 145e3be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stream_xbar.sv b/src/stream_xbar.sv
@@ -171,7 +171,7 @@ module stream_xbar #(
   `endif
   for (genvar i = 0; unsigned'(i) < NumInp; i++) begin : gen_sel_assertions
     assert property (@(posedge clk_i) disable iff (~rst_ni)
-        (valid_i[i] |-> sel_i[i] < sel_oup_t'(NumOut))) else
+        (valid_i[i] |-> sel_i[i] < NumOut)) else
         $fatal(1, "Non-existing output is selected!");
   end