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

Add preprocessor ifndef around RTL assertions to allow exclusion. #104

Browse Source
This commit is contained in:
Alex Mykyta
2024-12-17 22:31:30 -08:00
parent ceb1f9b0c1
commit faa57c93b9
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/peakrdl_regblock/module_tmpl.sv
View File

@@ -59,10 +59,12 @@ module {{ds.module_name}}
end else begin end else begin
if(external_req & ~external_wr_ack & ~external_rd_ack) external_pending <= '1; if(external_req & ~external_wr_ack & ~external_rd_ack) external_pending <= '1;
else if(external_wr_ack | external_rd_ack) external_pending <= '0; else if(external_wr_ack | external_rd_ack) external_pending <= '0;
`ifndef SYNTHESIS
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"); 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"); else $error("An external rd_ack strobe was asserted when no external request was active");
`endif
end end
end end
{%- endif %} {%- endif %}