From 8bf86e8d1f47b3a0696696d23b00cb50548166fd Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 2 Oct 2024 03:30:30 -0700 Subject: [PATCH] Undo --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e000781bb..c67636ccc 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1649,7 +1649,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma cell->parameters[ID::MEMID] = RTLIL::Const(memory->name.str()); cell->parameters[ID::ABITS] = 32; cell->parameters[ID::WIDTH] = memory->width; - cell->parameters[ID::PRIORITY] = 0; + cell->parameters[ID::PRIORITY] = RTLIL::Const(autoidx-1); } } }