From da726a4e54e9d3d3a25719303097414f92b34416 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Fri, 17 Jan 2025 01:14:40 -0800
Subject: [PATCH] If imported module has parameters it is not a blackbox

---
 frontends/verific/verific.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index cf6c161e8fe..0fb9ed2282d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -228,6 +228,9 @@ RTLIL::SigBit VerificImporter::net_map_at(Net *net)
 
 bool is_blackbox(Netlist *nl)
 {
+	if (nl->HasParameters())
+		return false;
+
 	if (nl->IsBlackBox() || nl->IsEmptyBox())
 		return true;