luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

write_xaiger: skip abc9_flop only if abc_box_seq present

Browse Source
This commit is contained in:
Eddie Hung
2020-01-15 11:25:20 -08:00
parent 1c41dc6b95
commit d6da9c0c0f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backends/aiger/xaiger.cc
+2 -1
View File
@@ -226,7 +226,7 @@ struct XAigerWriter
}
if (inst_module) {
bool abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
bool abc9_flop = false;
auto it = cell->attributes.find("\\abc9_box_seq");
if (it != cell->attributes.end()) {
int abc9_box_seq = it->second.as_int();
@@ -234,6 +234,7 @@ struct XAigerWriter
box_list.resize(abc9_box_seq+1);
box_list[abc9_box_seq] = cell;
// Only flop boxes may have arrival times
abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
if (!abc9_flop)
continue;
}