read_aiger: set abc9_box_seq attr

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index b9c648afda668ddbdfddbac80bb1db3d1bfac926..418fd722cd2d2753dde6fc22f927a0580d79f3ba 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -478,6 +478,7 @@ void AigerReader::parse_xaiger()
                                RTLIL::Cell* cell = module->addCell(stringf("$box%u", oldBoxNum), stringf("$__boxid%u", boxUniqueId));
                                cell->setPort("\\i", SigSpec(State::S0, boxInputs));
                                cell->setPort("\\o", SigSpec(State::S0, boxOutputs));
+                               cell->attributes["\\abc9_box_seq"] = oldBoxNum;
                                boxes.emplace_back(cell);
                        }
                }