github-mirrors/serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2025-04-20 11:57:07 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix compile errors with RISCV_FORMAL

Browse source
This commit is contained in:
Olof Kindgren 2019-12-04 23:42:40 +01:00
parent 3179cfb107
commit e93fd0d30e
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
rtl/serv_top.v
View file

@ -422,8 +422,8 @@ module serv_top
rvfi_order <= rvfi_order + {63'd0,rvfi_valid};
if (o_ibus_cyc & i_ibus_ack)
rvfi_insn <= i_ibus_rdt;
if (wen0)
rvfi_rd_wdata <= {wdata0,rvfi_rd_wdata[31:1]};
if (o_wen0)
rvfi_rd_wdata <= {o_wdata0,rvfi_rd_wdata[31:1]};
if (cnt_done & ctrl_pc_en) begin
rvfi_pc_rdata <= pc;
if (!rd_en)
@ -441,7 +441,7 @@ module serv_top
rvfi_intr <= 1'b0;
rvfi_mode <= 2'd3;
rvfi_ixl = 2'd1;
if (rf_ready) begin
if (i_rf_ready) begin
rvfi_rs1_addr <= rs1_addr;
rvfi_rs2_addr <= rs2_addr;
rvfi_rd_addr <= rd_addr;