diff --git a/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml b/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml
index 289f7762dd..c42133e755 100644
--- a/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml
+++ b/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml
@@ -13,6 +13,7 @@ spike_param_tree:
   core_configs:
     -
       isa: rv32imczicsr_zcb_zba_zbb_zbc_zbs
+      extensions: cv32a60x,cvxif
       boot_addr: 2147483648
       marchid: 3
       misa_we: false
diff --git a/verif/core-v-verif b/verif/core-v-verif
index cf826c12a0..b66917d40a 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit cf826c12a055a4a849867b20f01c84c29cd39225
+Subproject commit b66917d40a929ac6682ff93e57f89c90e1b338a7
diff --git a/verif/regress/install-spike.sh b/verif/regress/install-spike.sh
index af28fe2cc9..e240f64bdb 100755
--- a/verif/regress/install-spike.sh
+++ b/verif/regress/install-spike.sh
@@ -52,11 +52,11 @@ if ! [ -f "$SPIKE_INSTALL_DIR/bin/spike" ]; then
   fi
   # Build both shared and static versions of the yaml-cpp library in sequence
   # prior to building Spike.
-  make yaml-cpp-static
-  make yaml-cpp
+  make -j${NUM_JOBS} yaml-cpp-static
+  make -j${NUM_JOBS} yaml-cpp
   make -j${NUM_JOBS}
   echo "Installing Spike in '$SPIKE_INSTALL_DIR'..."
-  make install
+  make -j${NUM_JOBS} install
   cd $CALLER_DIR
 else
   echo "Spike already installed in '$SPIKE_INSTALL_DIR'."