diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-14 16:08:04 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-14 16:08:04 -0800 |
| commit | f9f86fd7582e447e2118534d888190ba14e39803 (patch) | |
| tree | 86ebb977c81b03018a6386e79e77d9d9df8b9e00 /backends/aiger/xaiger.cc | |
| parent | c7af1b22bae67a651130947920b482183098167d (diff) | |
| download | yosys-f9f86fd7582e447e2118534d888190ba14e39803.tar.gz yosys-f9f86fd7582e447e2118534d888190ba14e39803.tar.bz2 yosys-f9f86fd7582e447e2118534d888190ba14e39803.zip | |
Revert "abc9: fix abc9_arrival for flops"
This reverts commit f7c0dbecee7ee8f2e3fc8bc8337e7045fd4aff15.
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 9b2bab95c..3cf36aca8 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -643,6 +643,7 @@ 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(); @@ -660,11 +661,7 @@ struct XAigerWriter write_s_buffer(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_i_buffer(arrival_times.at(d, 0)); //write_o_buffer(0); } |