diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-24 13:11:43 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-24 13:11:43 -0800 |
| commit | c7fbe13db5144cf87c56d3f7a620a295029606b3 (patch) | |
| tree | e9fda3628a0d94fc641721ab811b210753067295 /frontends | |
| parent | dbf351390e68a9d7c453e893de8fa9d09eb24f62 (diff) | |
| download | yosys-c7fbe13db5144cf87c56d3f7a620a295029606b3.tar.gz yosys-c7fbe13db5144cf87c56d3f7a620a295029606b3.tar.bz2 yosys-c7fbe13db5144cf87c56d3f7a620a295029606b3.zip | |
read_aiger: set abc9_box_seq attr
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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); } } |