Signal connection fix

Signed-off-by: Arjan Bink <[email protected]>

Author: Silabs-ArjanB

bhv/cv32e40x_wrapper.sv

@@ -337,7 +337,7 @@ module cv32e40x_wrapper
       rvfi_sva(.irq_ack(core_i.irq_ack),
                .dbg_ack(core_i.dbg_ack),
                .ebreak_in_wb_i(core_i.controller_i.controller_fsm_i.ebreak_in_wb),
-               .mtvec_addr_i(core_i.mtvt_addr),
+               .mtvec_addr_i(core_i.mtvec_addr),
                .*);
 
 `endif //  `ifndef COREV_ASSERT_OFF

sva/cv32e40x_rvfi_sva.sv

@@ -43,7 +43,7 @@ module cv32e40x_rvfi_sva
    input logic [31:0]      rvfi_csr_dcsr_rdata,
    input logic [31:0]      rvfi_csr_mcause_rdata,
    input logic [31:0]      rvfi_pc_rdata,
-   input logic [31:0]      mtvec_addr_i,
+   input logic [24:0]      mtvec_addr_i,
    input logic [31:0]      rvfi_csr_mie_rdata,
    input logic [31:0]      rvfi_csr_mip_rdata,
    input logic             irq_ack,