diff --git a/core/cva6_rvfi.sv b/core/cva6_rvfi.sv index b77b1e89a9..82d7c1da17 100644 --- a/core/cva6_rvfi.sv +++ b/core/cva6_rvfi.sv @@ -418,7 +418,7 @@ module cva6_rvfi `CONNECT_RVFI_SAME(1'b1, icache) `CONNECT_RVFI_SAME(CVA6Cfg.EnableAccelerator, acc_cons) - + `CONNECT_RVFI_SAME(CVA6Cfg.RVZCMT, jvt) `CONNECT_RVFI_FULL(1'b1, pmpcfg0, csr.pmpcfg_q[CVA6Cfg.XLEN/8-1:0]) `CONNECT_RVFI_FULL(CVA6Cfg.XLEN == 32, pmpcfg1, csr.pmpcfg_q[7:4]) diff --git a/verif/sim/cva6.py b/verif/sim/cva6.py index 26a05dac39..b1ca40c2b9 100644 --- a/verif/sim/cva6.py +++ b/verif/sim/cva6.py @@ -1035,7 +1035,7 @@ def check_verilator_version(): def check_tools_version(): check_cc_version() -# check_spike_version() + check_spike_version() check_verilator_version()