From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 24 Jan 2020 21:11:43 +0000 (-0800)
Subject: read_aiger: set abc9_box_seq attr
X-Git-Tag: working-ls180~849^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c7fbe13db5144cf87c56d3f7a620a295029606b3;p=yosys.git

read_aiger: set abc9_box_seq attr
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index b9c648afd..418fd722c 100644
--- 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);
 			}
 		}