read_aiger: $lut prefix in front

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index f6b2a639d80602c2408173bb2e0d7a208471a03b..a4b1e6fec3d300a22872e7d6224ac000f714619e 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -1001,9 +1001,9 @@ void AigerReader::post_process()
                if (cell->type != "$lut") continue;
                auto y_port = cell->getPort("\\Y").as_bit();
                if (y_port.wire->width == 1)
-                       module->rename(cell, stringf("%s$lut", y_port.wire->name.c_str()));
+                       module->rename(cell, stringf("$lut%s", y_port.wire->name.c_str()));
                else
-                       module->rename(cell, stringf("%s[%d]$lut", y_port.wire->name.c_str(), y_port.offset));
+                       module->rename(cell, stringf("$lut%s[%d]", y_port.wire->name.c_str(), y_port.offset));
        }
 }