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;