diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc
index cadbcaee6..a8d437b75 100644
--- a/frontends/liberty/liberty.cc
+++ b/frontends/liberty/liberty.cc
@@ -591,6 +591,12 @@ struct LibertyFrontend : public Frontend {
 
 			for (auto node : cell->children)
 			{
+				if (node->id == "area")
+					module->attributes["\\area"] = node->value;
+
+				if (node->id == "cell_leakage_power")
+					module->attributes["\\LeakagePower"] = node->value;
+
 				if (node->id == "pin" && node->args.size() == 1) {
 					LibertyAst *dir = node->find("direction");
 					if (!dir || (dir->value != "input" && dir->value != "output" && dir->value != "inout" && dir->value != "internal"))
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 91526ea23..2840dfaf9 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3459,6 +3459,9 @@ struct VerificPass : public Pass {
 			veri_file::AddFileExtMode(".svh", veri_file::SYSTEM_VERILOG);
 			veri_file::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG);
 			veri_file::AddFileExtMode(".h", veri_file::SYSTEM_VERILOG);
+			
+			// Add blackbox modules
+			veri_file::AddVFile("preqorsor/data/blackboxes.v");
 
 			// Select analyze function
 			auto analyze_function = (args[argidx] == "-auto_discover") ? hdl_file_sort::AnalyzeDiscoveredFiles : hdl_file_sort::AnalyzeSortedFiles;