From 4d110a96bf18368d0abaa9c9786b5169ec26163a Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 30 Apr 2026 10:51:03 -0700
Subject: [PATCH] Localize external package/global net

---
 frontends/verific/verific.cc | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 212761028..c82fca6b7 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2814,7 +2814,22 @@ struct VerificExtNets
 			cursor = ((Instance*)cursor->GetReferences()->GetLast())->Owner();
 		}
 
-		log_error("No common ancestor found between %s and %s.\n", get_full_netlist_name(A), get_full_netlist_name(B));
+		return nullptr;
+	}
+
+	Net *localize_external_package_net(Netlist *nl, Net *net, Port *port)
+	{
+		string name = stringf("___extnets_%d", portname_cnt++);
+		Net *new_net = new Net(name.c_str());
+		nl->Add(new_net);
+
+		if (!port->IsInput())
+			log_warning("Localizing external package/global net reference '%s.%s' on %s.%s; "
+					"writes to the package/global object are not propagated.\n",
+					get_full_netlist_name(net->Owner()).c_str(), net->Name(),
+					get_full_netlist_name(nl).c_str(), port->Name());
+
+		return new_net;
 	}
 
 	void run(Netlist *nl)
@@ -2847,6 +2862,14 @@ struct VerificExtNets
 
 			Netlist *ca_nl = find_common_ancestor(nl, ext_nl);
 
+			if (ca_nl == nullptr) {
+				Net *new_net = localize_external_package_net(nl, net, port);
+				if (verific_verbose)
+					log(" localized external package/global net: %s\n", new_net->Name());
+				todo_connect.push_back(tuple<Instance*, Port*, Net*>(inst, port, new_net));
+				continue;
+			}
+
 			if (verific_verbose)
 				log(" common ancestor: %s\n", get_full_netlist_name(ca_nl));