diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-09 10:03:09 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-09 10:03:09 -0800 |
| commit | 47a1fd3f4acb1951d39cecc7ee4c2608381daf62 (patch) | |
| tree | 10db6045875f9d458bcdc9dbf2c4d0af6d6ca6b4 | |
| parent | 57f6826e29752d77fb1a9052b4d9bbc0e2450dd8 (diff) | |
| parent | d979648b7af4eb5fab042ac55ff2fb40e0c17a89 (diff) | |
| download | yosys-47a1fd3f4acb1951d39cecc7ee4c2608381daf62.tar.gz yosys-47a1fd3f4acb1951d39cecc7ee4c2608381daf62.tar.bz2 yosys-47a1fd3f4acb1951d39cecc7ee4c2608381daf62.zip | |
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index bded2bfee..b4304a581 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -756,12 +756,6 @@ void AigerReader::post_process() } for (uint32_t i = 0; i < flopNum; i++) { - log_assert(co_count < outputs.size()); - Wire *wire = outputs[co_count++]; - log_assert(wire); - log_assert(wire->port_output); - wire->port_output = false; - RTLIL::Wire *d = outputs[outputs.size() - flopNum + i]; log_assert(d); log_assert(d->port_output); @@ -803,6 +797,7 @@ void AigerReader::post_process() wire->port_input = false; module->connect(wire, existing); } + log_debug(" -> %s\n", log_id(escaped_s)); } else if (index > 0) { std::string indexed_name = stringf("%s[%d]", escaped_s.c_str(), index); @@ -816,8 +811,8 @@ void AigerReader::post_process() module->connect(wire, existing); wire->port_input = false; } + log_debug(" -> %s\n", log_id(indexed_name)); } - log_debug(" -> %s\n", log_id(wire)); } else if (type == "output") { log_assert(static_cast<unsigned>(variable + co_count) < outputs.size()); @@ -839,6 +834,7 @@ void AigerReader::post_process() module->connect(wire, existing); wire = existing; } + log_debug(" -> %s\n", log_id(escaped_s)); } else if (index > 0) { std::string indexed_name = stringf("%s[%d]", escaped_s.c_str(), index); @@ -852,8 +848,8 @@ void AigerReader::post_process() module->connect(wire, existing); wire->port_output = false; } + log_debug(" -> %s\n", log_id(indexed_name)); } - log_debug(" -> %s\n", log_id(wire)); int init; mf >> init; if (init < 2) |