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);
 					}
 				}
 			}