From b867dee241516ce24fa3b3e8f71b7f41734ff14f Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 15 Dec 2022 08:17:53 +0100
Subject: [PATCH] respect noblackbox attribute in verific

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 40f96e82c..a93d79c80 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1125,6 +1125,12 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 	NetBus *netbus;
 	Instance *inst;
 	PortRef *pr;
+	Att *attr;
+
+	FOREACH_ATTRIBUTE(nl, mi, attr) {
+		if (!strcmp(attr->Key(), "noblackbox"))
+			module->set_bool_attribute(ID::blackbox, false);
+	}
 
 	FOREACH_PORT_OF_NETLIST(nl, mi, port)
 	{