diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index ea558f89d..75b460f61 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1676,7 +1676,7 @@ 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 > pow(2, 23))
+			if ((bits_in_word * number_of_bits) > (1 << 23))
 				log_error("Memory %s size is larger than 2**23 bits\n", net->Name());
 			memory->width = bits_in_word;
 			memory->size = number_of_bits / bits_in_word;