bslathi19/PeakRDL-regblock
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove implication operator to avoid xsim compatibility limitation. #57

Browse Source
This commit is contained in:
Alex Mykyta
2023-09-07 22:42:42 -07:00
parent 49db496ac1
commit ad7b09a2f5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/peakrdl_regblock/module_tmpl.sv
View File

@@ -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