diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-13 17:32:54 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-13 17:32:54 -0800 |
| commit | 0cf7598cd644286053ad36ebb44d5bf3d66d3c49 (patch) | |
| tree | 36038efb1d68fe82fed189b118ade06651b0494c /backends | |
| parent | 8c4c5460098a2c1056f78a7c6fb1d389e9f1f445 (diff) | |
| parent | f5cc8cfa7985e7b0d4ee7412a76d6f362e31db9d (diff) | |
| download | yosys-0cf7598cd644286053ad36ebb44d5bf3d66d3c49.tar.gz yosys-0cf7598cd644286053ad36ebb44d5bf3d66d3c49.tar.bz2 yosys-0cf7598cd644286053ad36ebb44d5bf3d66d3c49.zip | |
Merge pull request #1700 from YosysHQ/eddie/abc9_fixes
Use (* abc9_init *) attribute, fix use of abc9_arrival for flops
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 76b7efbfc..9b2bab95c 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -643,14 +643,13 @@ struct XAigerWriter write_s_buffer(ff_bits.size()); for (const auto &i : ff_bits) { - const SigBit &d = i.first; const Cell *cell = i.second; int mergeability = cell->attributes.at(ID(abc9_mergeability)).as_int(); log_assert(mergeability > 0); write_r_buffer(mergeability); - Const init = cell->attributes.at(ID(abc9_init)); + Const init = cell->attributes.at(ID(abc9_init), State::Sx); log_assert(GetSize(init) == 1); if (init == State::S1) write_s_buffer(1); @@ -661,7 +660,11 @@ struct XAigerWriter write_s_buffer(0); } - write_i_buffer(arrival_times.at(d, 0)); + auto it = cell->attributes.find(ID(abc9_arrival)); + if (it != cell->attributes.end()) + write_i_buffer(it->second.as_int()); + else + write_i_buffer(0); //write_o_buffer(0); } |