Fix default disable in stream_xbar

pulp-platform · Oct 19, 2023 · 87614e7 · 87614e7
1 parent 0a41d96
commit 87614e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stream_xbar.sv b/src/stream_xbar.sv
@@ -167,7 +167,7 @@ module stream_xbar #(
   // 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