diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5a6cd4044a0..9737fde89c2 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -264,6 +264,9 @@ static const std::string verific_unescape(const char *value)
 
 void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &attributes, DesignObj *obj, Netlist *nl)
 {
+	if (!obj)
+		return;
+
 	MapIter mi;
 	Att *attr;