minor update

This commit is contained in:
Blaise Tine 2024-07-29 16:01:08 -07:00
parent a62e651b02
commit 724cb40849

View file

@ -54,6 +54,8 @@ module VX_dp_ram #(
`UNUSED_PARAM (RW_ASSERT)
`UNUSED_VAR (read)
`RUNTIME_ASSERT(~write || (| wren), ("invalid write enable mask"));
`ifdef SYNTHESIS
if (WRENW > 1) begin
`ifdef QUARTUS
@ -310,7 +312,7 @@ module VX_dp_ram #(
end else begin
assign rdata = (prev_write && (prev_waddr == raddr)) ? prev_data : ram[raddr];
if (RW_ASSERT) begin
`RUNTIME_ASSERT (~read || (rdata == ram[raddr]), ("read after write mismatch"));
`RUNTIME_ASSERT(~read || (rdata == ram[raddr]), ("read after write mismatch"));
end
end
end