From b822beb1b2e667459f4864b759b7f4d82a064354 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 26 Jun 2020 20:11:01 +0200
Subject: [PATCH] Fix crash in verific frontend

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index ba631475f..ccd13e92f 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1111,7 +1111,8 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
 			wire->start_offset = min(netbus->LeftIndex(), netbus->RightIndex());
 			MapIter mibus;
 			FOREACH_NET_OF_NETBUS(netbus, mibus, net) {
-				import_attributes(wire->attributes, net, nl);
+				if (net)
+					import_attributes(wire->attributes, net, nl);
 				break;
 			}