diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-04-15 22:27:36 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-04-15 22:27:36 -0700 |
| commit | 18108e024ae7d3b246aa83e8a9e7ac5327837d0a (patch) | |
| tree | 43eaab69ce7c7a5781a6f59fe3d56a3ba2d88495 /backends | |
| parent | e084240a813b618cea6b5a80d41e2d4516388e44 (diff) | |
| download | yosys-18108e024ae7d3b246aa83e8a9e7ac5327837d0a.tar.gz yosys-18108e024ae7d3b246aa83e8a9e7ac5327837d0a.tar.bz2 yosys-18108e024ae7d3b246aa83e8a9e7ac5327837d0a.zip | |
Use abc_box_id
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index eb31bfcef..841adf8f6 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -571,7 +571,6 @@ struct XAigerWriter write_h_buffer(input_bits.size()); write_h_buffer(num_outputs); write_h_buffer(box_list.size()); - int box_id = 0; for (auto cell : box_list) { int box_inputs = 0, box_outputs = 0; for (const auto &c : cell->connections()) { @@ -582,7 +581,7 @@ struct XAigerWriter } write_h_buffer(box_inputs); write_h_buffer(box_outputs); - write_h_buffer(box_id++); + write_h_buffer(module->design->module(cell->type)->attributes.at("\\abc_box_id").as_int()); write_h_buffer(0 /* OldBoxNum */); } std::string h_buffer_str = h_buffer.str(); |