stream_omega_net: Fix non-existing output assertion

pulp-platform · Mar 12, 2024 · b75cebe · b75cebe
1 parent 13f28aa
commit b75cebe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stream_omega_net.sv b/src/stream_omega_net.sv
@@ -267,7 +267,7 @@ module stream_omega_net #(
     `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