diff --git a/passes/sat/share.cc b/passes/sat/share.cc index 4484d677..0c88b4d3 100644 --- a/passes/sat/share.cc +++ b/passes/sat/share.cc @@ -419,6 +419,13 @@ struct ShareWorker return supercell; } + if (c1->type == "$memrd") + { + RTLIL::Cell *supercell = module->addCell(NEW_ID, c1); + module->connect(c2->getPort("\\DATA"), supercell->getPort("\\DATA")); + return supercell; + } + log_abort(); }