From 54653fc82c1e0115b833c6f8f33079e0251bf81f Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sun, 12 Oct 2025 07:52:32 -0700
Subject: [PATCH] Reenable Verific opt and comment out clock enable muxing

---
 frontends/verific/verific.cc | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index cb3389451..ec04e545f 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3129,8 +3129,8 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 		if (verific_opt) {
 			log("  Optimizing netlist for %s.\n", it->first.c_str());
 
-			log("    Inferring clock enable muxes for %s.\n", it->first.c_str());
-			nl->InferClockEnableMux();
+			// log("    Inferring clock enable muxes for %s.\n", it->first.c_str());
+			// nl->InferClockEnableMux();
 
 			log("    Running post-elaboration for %s.\n", it->first.c_str());
 			nl->PostElaborationProcess();
@@ -3613,10 +3613,6 @@ struct VerificPass : public Pass {
 		verific_verbose = 0;
 		verific_sva_fsm_limit = 16;
 
-		// SILIMATE: added flags
-		verific_opt = false;
-		verific_no_split_complex_ports = false;
-
 		const char *release_str = Message::ReleaseString();
 		time_t release_time = Message::ReleaseDate();
 		char *release_tmstr = ctime(&release_time);