diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 16:33:41 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 16:33:41 -0800 |
| commit | 485e08e4363f2aa93204f8bcc6c1ff5243936ea6 (patch) | |
| tree | 0e698a1b061eb39f6b2fc92cc6795e28151e619f /backends/aiger | |
| parent | 48984a7605dc04463329263c3ada4ee2b42cbae7 (diff) | |
| download | yosys-485e08e4363f2aa93204f8bcc6c1ff5243936ea6.tar.gz yosys-485e08e4363f2aa93204f8bcc6c1ff5243936ea6.tar.bz2 yosys-485e08e4363f2aa93204f8bcc6c1ff5243936ea6.zip | |
abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index c2d076c86..66ddbde33 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -318,7 +318,7 @@ struct XAigerWriter RTLIL::Module* box_module = module->design->module(cell->type); log_assert(box_module); - log_assert(box_module->attributes.count("\\abc9_box_id")); + log_assert(box_module->attributes.count("\\abc9_box_id") || box_module->get_bool_attribute("\\abc9_flop")); auto r = box_ports.insert(cell->type); if (r.second) { |