diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-24 08:17:30 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-24 08:17:30 -0700 |
| commit | d64df216302bab5b7c5047bbbcb0e3cd82f1ec2d (patch) | |
| tree | 7566da33d6de1c0621c4865afd8de40120b4c53e /backends/aiger | |
| parent | 721040df76c7095463ebf4f708f94bb236333f61 (diff) | |
| download | yosys-d64df216302bab5b7c5047bbbcb0e3cd82f1ec2d.tar.gz yosys-d64df216302bab5b7c5047bbbcb0e3cd82f1ec2d.tar.bz2 yosys-d64df216302bab5b7c5047bbbcb0e3cd82f1ec2d.zip | |
xaiger: do not derive cells
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 69797ceaf..6b910eecd 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -248,6 +248,7 @@ struct XAigerWriter auto it = cell->attributes.find(ID::abc9_box_seq); if (it != cell->attributes.end()) { log_assert(!cell->has_keep_attr()); + log_assert(cell->parameters.empty()); int abc9_box_seq = it->second.as_int(); if (GetSize(box_list) <= abc9_box_seq) box_list.resize(abc9_box_seq+1); @@ -260,13 +261,6 @@ struct XAigerWriter continue; } - if (!cell->parameters.empty()) { - auto derived_type = inst_module->derive(design, cell->parameters); - inst_module = design->module(derived_type); - log_assert(inst_module); - log_assert(inst_module->get_blackbox_attribute()); - } - if (!timing.count(inst_module->name)) timing.setup_module(inst_module); auto &t = timing.at(inst_module->name).arrival; |