diff --git a/Makefile b/Makefile
index 1e1228714..6241e472f 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ ENABLE_VERIFIC_HIER_TREE := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
 ENABLE_VERIFIC_EDIF := 0
 ENABLE_VERIFIC_LIBERTY := 0
-ENABLE_VERIFIC_UPF := 1
+ENABLE_VERIFIC_UPF := 0
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_ZLIB := 1
diff --git a/verific b/verific
index 6b6ffb310..fbd43f10f 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6b6ffb3104e36fdad6cb353c53469ba6b48c6ab9
+Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5