diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9fed0f2e4..53eb44cc8 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1676,8 +1676,9 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 				log_error("Verific RamNet %s is connected to unsupported instance type %s (%s).\n",
 						net->Name(), pr->GetInst()->View()->Owner()->Name(), pr->GetInst()->Name());
 			}
-			if ((bits_in_word * number_of_bits) > (1 << 23))
-				log_error("Memory %s size is larger than 2**23 bits\n", net->Name());
+			if ((bits_in_word * number_of_bits) > (uint64_t)(((uint64_t)1) << 28))
+				log_error("Memory %s size is larger than 2**28 bits, bits_in_word: %ld, number_of_bits: %ld, total: %ld\n", net->Name(),
+				       bits_in_word, number_of_bits, bits_in_word * number_of_bits);
 			memory->width = bits_in_word;
 			memory->size = number_of_bits / bits_in_word;