From e1aade6a1f9d617d989b365f300555f2fba4607e Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Thu, 30 Apr 2026 14:15:44 -0700
Subject: [PATCH] Update frontends/verific/verific.cc

Co-authored-by: greptile-apps[bot] <165735046+greptile-apps[bot]@users.noreply.github.com>
---
 frontends/verific/verific.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 745ac950f..acbe4b5a7 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2817,6 +2817,11 @@ struct VerificExtNets
 		return nullptr;
 	}
 
+	// Handles the case where a net belongs to an external package or global scope
+	// (i.e., there is no common ancestor in the design hierarchy). Creates a fresh
+	// local net in `nl` and disconnects it from the original package/global net.
+	// For input ports the new net will be undriven; for output ports, writes will
+	// not be propagated back to the package/global object.
 	Net *localize_external_package_net(Netlist *nl, Net *net, Port *port)
 	{
 		string name = stringf("___extnets_%d", portname_cnt++);