From 03ec7aab1657f669d76c0f335f1955cf480eaaa1 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Thu, 13 Mar 2025 16:35:00 -0700 Subject: [PATCH 1/3] test branch protection --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 7db5cc728..559b19495 100644 --- a/Makefile +++ b/Makefile @@ -6,6 +6,7 @@ CONFIG := none # CONFIG := msys2-32 # CONFIG := msys2-64 + # features (the more the better) ENABLE_TCL := 0 ENABLE_ABC := 1 From 3021dab37d91ed9a55352865c0ae703d3256a1e6 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Mon, 17 Mar 2025 09:07:33 -0700 Subject: [PATCH 2/3] memory limit fix and increased limit --- frontends/verific/verific.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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; From cf9a8eb28b7be16fab703afd8f0f48eeeee5c3de Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Mon, 17 Mar 2025 09:09:38 -0700 Subject: [PATCH 3/3] memory limit fix and increased limit --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 559b19495..7db5cc728 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,6 @@ CONFIG := none # CONFIG := msys2-32 # CONFIG := msys2-64 - # features (the more the better) ENABLE_TCL := 0 ENABLE_ABC := 1