From 57945254bffa196085ae628bde195bad90be82ea Mon Sep 17 00:00:00 2001 From: Cesar Fuguet Date: Wed, 8 Jan 2025 11:31:22 +0100 Subject: [PATCH] Fix definition and assignment of the rvfi_mem_paddr_o port --- core/store_buffer.sv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/core/store_buffer.sv b/core/store_buffer.sv index adb6425246..3a39d1c2eb 100644 --- a/core/store_buffer.sv +++ b/core/store_buffer.sv @@ -41,7 +41,7 @@ module store_buffer input logic valid_without_flush_i, // just tell if the address is valid which we are current putting and do not take any further action input logic [CVA6Cfg.PLEN-1:0] paddr_i, // physical address of store which needs to be placed in the queue - output [CVA6Cfg.PLEN-1:0] rvfi_mem_paddr_o, + output logic [CVA6Cfg.PLEN-1:0] rvfi_mem_paddr_o, input logic [CVA6Cfg.XLEN-1:0] data_i, // data which is placed in the queue input logic [(CVA6Cfg.XLEN/8)-1:0] be_i, // byte enable in input logic [1:0] data_size_i, // type of request we are making (e.g.: bytes to write) @@ -152,7 +152,7 @@ module store_buffer always_ff @(posedge clk_i) begin : rvfi_mem_paddr_ff if (commit_i) begin - rvfi_mem_paddr_o = speculative_queue_q[speculative_read_pointer_q].address; + rvfi_mem_paddr_o <= speculative_queue_q[speculative_read_pointer_q].address; end end