diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-15 11:26:11 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-15 11:26:11 -0800 |
| commit | 38aa248385537fcea76d3396c31bbc17f6871972 (patch) | |
| tree | 73cf49a08ebb686c980e7152db25bad788730ccd /backends/aiger | |
| parent | 485e08e4363f2aa93204f8bcc6c1ff5243936ea6 (diff) | |
| parent | d6da9c0c0f3b59706f509b7fd96ea793491a2307 (diff) | |
| download | yosys-38aa248385537fcea76d3396c31bbc17f6871972.tar.gz yosys-38aa248385537fcea76d3396c31bbc17f6871972.tar.bz2 yosys-38aa248385537fcea76d3396c31bbc17f6871972.zip | |
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 66ddbde33..71b652412 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -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(); @@ -235,6 +235,7 @@ struct XAigerWriter box_list[abc9_box_seq] = cell; // Only flop boxes may have arrival times // (all others are combinatorial) + abc9_flop = inst_module->get_bool_attribute("\\abc9_flop"); if (!abc9_flop) continue; } |