fmcombine: Add _gold/_gate suffix to memids

diff --git a/passes/sat/fmcombine.cc b/passes/sat/fmcombine.cc
index e15bdf6a83d8f9e04988f08a192dabe6a08b23fb..220cf5c521b1c8a7b43a5d04cae1164d0917e004 100644 (file)
--- a/passes/sat/fmcombine.cc
+++ b/passes/sat/fmcombine.cc
@@ -64,6 +64,9 @@ struct FmcombineWorker
                c->parameters = cell->parameters;
                c->attributes = cell->attributes;
 
+               if (cell->is_mem_cell())
+                       c->parameters[ID::MEMID] = cell->parameters[ID::MEMID].decode_string() + suffix;
+
                for (auto &conn : cell->connections())
                        c->setPort(conn.first, import_sig(conn.second, suffix));