From 61715c2c286ee89ec4a787a59b235a0dd33228e6 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 4 Apr 2025 03:22:22 -0700 Subject: [PATCH] Fix memory too large issue --- frontends/verific/verific.cc | 3 --- 1 file changed, 3 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index c4e11281a..ede5dc729 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1677,9 +1677,6 @@ 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) > (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;