Fix definition and assignment of the rvfi_mem_paddr_o port

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