From ad7b09a2f5692df46d965c7b333144568b51a474 Mon Sep 17 00:00:00 2001 From: Alex Mykyta Date: Thu, 7 Sep 2023 22:42:42 -0700 Subject: [PATCH] Remove implication operator to avoid xsim compatibility limitation. #57 --- src/peakrdl_regblock/module_tmpl.sv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/peakrdl_regblock/module_tmpl.sv b/src/peakrdl_regblock/module_tmpl.sv index 9aed24f..632463e 100644 --- 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