diff --git a/bin/clonetb b/bin/clonetb
index 63157fc7ea..64301fc2e2 100755
--- a/bin/clonetb
+++ b/bin/clonetb
@@ -81,7 +81,7 @@ clone() {
 clone_cv32e40x() {
   CV_CORE=cv32e40x
   VERIF_ENV_REPO=https://github.com/openhwgroup/cv32e40x-dv.git
-  VERIF_ENV_REF=be17b8902002f91803abde4bfb8caa91088575e1
+  VERIF_ENV_REF=1ceaede5f4c0da6f1d34f4f4f7d7f3bbcdbe0b4a
   clone
 
   ignore_cloned_directory