diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-27 23:14:23 +0000 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-28 00:34:30 +0100 |
| commit | df64542288e968af99f7d2b0ad5489e9315583f0 (patch) | |
| tree | df66b4b59decbb1a034284351b44096197059024 /passes/equiv/equiv_miter.cc | |
| parent | 23e54bda8138521a7a7f4fde40a6f360e8c9c19c (diff) | |
| download | yosys-df64542288e968af99f7d2b0ad5489e9315583f0.tar.gz yosys-df64542288e968af99f7d2b0ad5489e9315583f0.tar.bz2 yosys-df64542288e968af99f7d2b0ad5489e9315583f0.zip | |
Fixed bug in equiv_miter
Diffstat (limited to 'passes/equiv/equiv_miter.cc')
| -rw-r--r-- | passes/equiv/equiv_miter.cc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/passes/equiv/equiv_miter.cc b/passes/equiv/equiv_miter.cc index f9f119162..305bc09c4 100644 --- a/passes/equiv/equiv_miter.cc +++ b/passes/equiv/equiv_miter.cc @@ -218,9 +218,9 @@ struct EquivMiterWorker for (auto c : equiv_cells) { - SigSpec trigger = mode_undef ? - miter_module->Mux(NEW_ID, miter_module->Eqx(NEW_ID, c->getPort("\\A"), c->getPort("\\B")), - State::S1, miter_module->Eqx(NEW_ID, c->getPort("\\A"), State::Sx)) : + SigSpec cmp = mode_undef ? + miter_module->LogicOr(NEW_ID, miter_module->Eqx(NEW_ID, c->getPort("\\A"), State::Sx), + miter_module->Eqx(NEW_ID, c->getPort("\\A"), c->getPort("\\B"))) : miter_module->Eq(NEW_ID, c->getPort("\\A"), c->getPort("\\B")); if (mode_cmp) { @@ -232,13 +232,13 @@ struct EquivMiterWorker cmp_name = cmp_name.substr(0, i) + cmp_name.substr(i+1); auto w = miter_module->addWire(cmp_name); w->port_output = true; - miter_module->connect(w, trigger); + miter_module->connect(w, cmp); } if (mode_assert) - miter_module->addAssert(NEW_ID, miter_module->Not(NEW_ID, trigger), State::S1); + miter_module->addAssert(NEW_ID, cmp, State::S1); - trigger_signals.append(trigger); + trigger_signals.append(miter_module->Not(NEW_ID, cmp)); } if (mode_trigger) { |