diff --git a/verif/core-v-verif b/verif/core-v-verif
index bd0afb461..a87363b94 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit bd0afb461940b92a3a515cf91627a7e262ebbcf6
+Subproject commit a87363b94706d9b3cfa41764a2fbf11b36bd13ed