From f790b75c19aad694ee5de28fa9af85912e6a7a7f Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 25 Jul 2024 06:01:06 -0700 Subject: [PATCH] Don't preserve user nets and update Verific tree balancing --- frontends/verific/verific.cc | 2 +- verific | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 8ee24a26d..80ca5f007 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3425,7 +3425,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", 0); // SILIMATE: disable to improve optimization // RuntimeFlags::SetVar("db_preserve_x", 1); // SILIMATE: comment out to improve optimization RuntimeFlags::SetVar("db_merge_cascaded_muxes", 1); // SILIMATE: add to improve optimization diff --git a/verific b/verific index 636dc936c..f02b6e5a0 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 636dc936c03671f70ba73d03419ea4cf96cb65ad +Subproject commit f02b6e5a0c38df8405801af0ed12b530d801248f