diff --git a/Makefile b/Makefile
index 1efab0d26..c4c52e266 100644
--- a/Makefile
+++ b/Makefile
@@ -19,14 +19,14 @@ ENABLE_GHDL := 0
 ENABLE_SLANG := 0
 ENABLE_VERIFIC := 1
 ENABLE_VERIFIC_SYSTEMVERILOG := 1
-ENABLE_VERIFIC_GHDL := 0
+ENABLE_VERIFIC_GHDL := 1
 ENABLE_VERIFIC_VHDL := 0
 ENABLE_VERIFIC_HIER_TREE := 1
 ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 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 e4d48d931..fbd43f10f 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e4d48d93116d234d8a54e3e0c2293bb9b15dbd2c
+Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5