mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

Browse source
This commit is contained in:
Eddie Hung 2020-01-15 11:26:11 -08:00
commit 38aa248385
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/aiger/xaiger.cc
View file

@ -226,7 +226,7 @@ struct XAigerWriter
} }
if (inst_module) { 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"); auto it = cell->attributes.find("\\abc9_box_seq");
if (it != cell->attributes.end()) { if (it != cell->attributes.end()) {
int abc9_box_seq = it->second.as_int(); int abc9_box_seq = it->second.as_int();
@ -235,6 +235,7 @@ struct XAigerWriter
box_list[abc9_box_seq] = cell; box_list[abc9_box_seq] = cell;
// Only flop boxes may have arrival times // Only flop boxes may have arrival times
// (all others are combinatorial) // (all others are combinatorial)
abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
if (!abc9_flop) if (!abc9_flop)
continue; continue;
} }