From a0c038468336e28bbdd63ad00e6af097d94bdf06 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 16 Jun 2024 20:20:10 -0700 Subject: [PATCH] Preserve instances --- frontends/verific/verific.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 36ef1f971..2e3fabf9a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3236,8 +3236,8 @@ struct VerificPass : public Pass { Message::SetConsoleOutput(0); Message::RegisterCallBackMsg(msg_func); - // RuntimeFlags::SetVar("db_preserve_user_instances", 1); // SILIMATE: comment out to improve optimization - // RuntimeFlags::SetVar("db_preserve_user_nets", 1); // SILIMATE: comment out to improve optimization + RuntimeFlags::SetVar("db_preserve_user_instances", 1); + RuntimeFlags::SetVar("db_preserve_user_nets", 1); // RuntimeFlags::SetVar("db_preserve_x", 1); // SILIMATE: comment out to improve optimization RuntimeFlags::SetVar("db_merge_cascaded_muxes", 1); // SILIMATE: add to improve optimization