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