diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-28 11:29:59 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-28 11:29:59 -0700 |
| commit | 13e233217cd0caceeb5d30d2eefa5238ffc5bfc9 (patch) | |
| tree | 8ddf0c5af5ee13c2534f0643826b56144cc2e2a6 /backends/aiger/xaiger.cc | |
| parent | 5f39c262c278f90f6bbb55d5969b970230876ef5 (diff) | |
| download | yosys-13e233217cd0caceeb5d30d2eefa5238ffc5bfc9.tar.gz yosys-13e233217cd0caceeb5d30d2eefa5238ffc5bfc9.tar.bz2 yosys-13e233217cd0caceeb5d30d2eefa5238ffc5bfc9.zip | |
Small improvement
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 2bc059dc5..5919b2302 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -328,6 +328,7 @@ struct XAigerWriter if (I != b) alias_map[b] = I; co_bits.emplace_back(b, cell, port_name, offset++, 0); + unused_bits.erase(b); } } if (w->port_output) { @@ -347,6 +348,7 @@ struct XAigerWriter for (const auto &b : rhs.bits()) { SigBit O = sigmap(b); ci_bits.emplace_back(O, cell, port_name, offset++); + undriven_bits.erase(O); } } } @@ -383,10 +385,6 @@ struct XAigerWriter } } - // Do some CI/CO post-processing: - // CIs cannot be undriven - for (const auto &c : ci_bits) - undriven_bits.erase(std::get<0>(c)); // Erase all POs that are undriven if (!holes_mode) for (auto bit : undriven_bits) |