diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index cd844dceeee..68b7a6fbbc3 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1270,6 +1270,15 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 
 	if (is_blackbox(nl)) {
 		log("Importing blackbox module %s.\n", RTLIL::id2cstr(module->name));
+		const char *param_name ;
+		const char *param_value ;
+		MapIter mi;
+		if (is_blackbox(nl)) {
+			FOREACH_PARAMETER_OF_NETLIST(nl, mi, param_name, param_value) {
+				module->avail_parameters(RTLIL::escape_id(param_name));
+				module->parameter_default_values[RTLIL::escape_id(param_name)] = verific_const(param_value);
+			}
+		}
 		module->set_bool_attribute(ID::blackbox);
 	} else {
 		log("Importing module %s.\n", RTLIL::id2cstr(module->name));