diff --git a/verif/core-v-verif b/verif/core-v-verif
index e06bd577f..628ba1266 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit e06bd577f5db816015ec16a901e6e8f39cf7d640
+Subproject commit 628ba12664c19f3657661c07d3dab8d949dd21c2