From 400ae0bbab9f0dbbe7fd0a47656a7ea25654eaa1 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 2 Oct 2024 03:44:57 -0700
Subject: [PATCH] Prune RAM dimensions

---
 frontends/verific/verific.cc | 8 ++++++++
 verific                      | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c67636ccc..7a78286fd 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3019,6 +3019,14 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 
 			log("    Running operator optimization for %s.\n", it->first.c_str());
 			nl->OperatorOptimization(1, 1);
+
+			log("    Pruning RAM dimensions for %s.\n", it->first.c_str());
+			while (nl->PruneRamDimensions());
+
+			log("    Merging RAM write ports for %s.\n", it->first.c_str());
+			nl->MergeRamWritePorts();
+			log("    Merging RAMs for %s.\n", it->first.c_str());
+			nl->MergeRams();
 		}
 
 		if (nl_done.count(it->first) == 0) {
diff --git a/verific b/verific
index 7bbaa8653..08809e9c4 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 7bbaa865361d9e92dd9d9223e8f3f877cf1ed020
+Subproject commit 08809e9c4356772ead5d5ab1594bdcf84df03fe3