Remove implication operator to avoid xsim compatibility limitation. #57

SystemRDL · Sep 8, 2023 · ad7b09a · ad7b09a
1 parent 49db496
commit ad7b09a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/peakrdl_regblock/module_tmpl.sv b/src/peakrdl_regblock/module_tmpl.sv
@@ -56,9 +56,9 @@ module {{ds.module_name}} (
         end else begin
             if(external_req & ~external_wr_ack & ~external_rd_ack) external_pending <= '1;
             else if(external_wr_ack | external_rd_ack) external_pending <= '0;
-            assert(external_wr_ack -> (external_pending | external_req))
+            assert(!external_wr_ack || (external_pending | external_req))
                 else $error("An external wr_ack strobe was asserted when no external request was active");
-            assert(external_rd_ack -> (external_pending | external_req))
+            assert(!external_rd_ack || (external_pending | external_req))
                 else $error("An external rd_ack strobe was asserted when no external request was active");
         end
     end