Fix default disable in stream_omega_net

pulp-platform · Oct 19, 2023 · e461610 · e461610
1 parent 87614e7
commit e461610
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stream_omega_net.sv b/src/stream_omega_net.sv
@@ -263,7 +263,7 @@ module stream_omega_net #(
     // pragma translate_off
     `ifndef ASSERTS_OFF
     `ifndef VERILATOR
-    default disable iff rst_ni;
+    default disable iff (~rst_ni);
     `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