diff --git a/Makefile b/Makefile
index bc45f8ec1..7acd07f7d 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
 ENABLE_VERIFIC_EDIF := 0
 ENABLE_VERIFIC_LIBERTY := 0
-ENABLE_VERIFIC_UPF := 0
+ENABLE_VERIFIC_UPF := 1
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_ZLIB := 1
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index b68d804c0..037c622bb 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3439,12 +3439,12 @@ struct VerificPass : public Pass {
 			Message::RegisterCallBackMsg(msg_func);
 
 			RuntimeFlags::SetVar("db_preserve_user_instances", 1);
-			RuntimeFlags::SetVar("db_preserve_user_nets", 0); // SILIMATE: disable to improve optimization
-			// RuntimeFlags::SetVar("db_preserve_x", 1); // SILIMATE: comment out to improve optimization
+			RuntimeFlags::SetVar("db_preserve_user_nets", 1);
+			RuntimeFlags::SetVar("db_preserve_x", 1);
 
 			RuntimeFlags::SetVar("db_merge_cascaded_muxes", 1); // SILIMATE: add to improve optimization
-			RuntimeFlags::SetVar("db_preserve_register_names", 1); // SILIMATE: optionally add to use preserve register names
-			// RuntimeFlags::SetVar("db_synopsys_register_names", 1); // SILIMATE: optionally add to use Synopsys register names
+			// RuntimeFlags::SetVar("db_preserve_register_names", 1); // SILIMATE: optionally add to use preserve register names
+			RuntimeFlags::SetVar("db_synopsys_register_names", 1); // SILIMATE: optionally add to use Synopsys register names
 			RuntimeFlags::SetVar("db_stop_cse_on_ram_ports", 0); // SILIMATE: perform CSE on RAM ports to improve optimization
 
 			// RuntimeFlags::SetVar("db_infer_wide_operators_post_elaboration", 1); // SILIMATE: optionally add to improve optimization (QoR)
diff --git a/verific b/verific
index 22b8b099a..c8aa4ceb9 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 22b8b099a971ac5c82ac32df46d392a6ab611394
+Subproject commit c8aa4ceb9338f7c3057b7c3ddd5d49c49b28d089