From b9b776d211e7e42d0254920b5a86c414cdaac940 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 10 Jun 2024 20:33:05 -0700 Subject: [PATCH] Update for no preservation of user nets --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 6b232d0e8..6ae2f233e 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3235,7 +3235,7 @@ struct VerificPass : public Pass { Message::RegisterCallBackMsg(msg_func); RuntimeFlags::SetVar("db_preserve_user_instances", 1); - RuntimeFlags::SetVar("db_preserve_user_nets", 1); + // RuntimeFlags::SetVar("db_preserve_user_nets", 1); // SILIMATE: comment out to improve optimization RuntimeFlags::SetVar("db_preserve_x", 1); RuntimeFlags::SetVar("db_merge_cascaded_muxes", 1); // SILIMATE: add to improve optimization