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