diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index f835dd269..dd78b202d 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -2140,7 +2140,7 @@ namespace {
 				param(ID::TYPE);
 				check_expected();
 				std::string scope_type = cell->getParam(ID::TYPE).decode_string();
-				if (scope_type != "module" && scope_type != "struct")
+				if (scope_type != "module" && scope_type != "struct" && scope_type != "blackbox")
 					error(__LINE__);
 				return;
 			}
diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc
index 171ae060a..573dfbd0a 100644
--- a/passes/sat/cutpoint.cc
+++ b/passes/sat/cutpoint.cc
@@ -90,6 +90,8 @@ struct CutpointPass : public Pass {
 				if (module->get_blackbox_attribute()) {
 					module->set_bool_attribute(ID::blackbox, false);
 					module->set_bool_attribute(ID::whitebox, false);
+					auto scopeinfo = module->addCell(NEW_ID, ID($scopeinfo));
+					scopeinfo->setParam(ID::TYPE, RTLIL::Const("blackbox"));
 				}
 				continue;
 			}