riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use abc_box_id

This commit is contained in:
Eddie Hung 2019-04-15 22:27:36 -07:00
parent e084240a81
commit 18108e024a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
backends/aiger/xaiger.cc
View File

@ -571,7 +571,6 @@ struct XAigerWriter
write_h_buffer(input_bits.size()); write_h_buffer(input_bits.size());
write_h_buffer(num_outputs); write_h_buffer(num_outputs);
write_h_buffer(box_list.size()); write_h_buffer(box_list.size());
int box_id = 0;
for (auto cell : box_list) { for (auto cell : box_list) {
int box_inputs = 0, box_outputs = 0; int box_inputs = 0, box_outputs = 0;
for (const auto &c : cell->connections()) { for (const auto &c : cell->connections()) {
@ -582,7 +581,7 @@ struct XAigerWriter
} }
write_h_buffer(box_inputs); write_h_buffer(box_inputs);
write_h_buffer(box_outputs); 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 */); write_h_buffer(0 /* OldBoxNum */);
} }
std::string h_buffer_str = h_buffer.str(); std::string h_buffer_str = h_buffer.str();