summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-27 23:14:23 +0000
committerClifford Wolf <clifford@clifford.at>2015-01-28 00:34:30 +0100
commitdf64542288e968af99f7d2b0ad5489e9315583f0 (patch)
treedf66b4b59decbb1a034284351b44096197059024
parent23e54bda8138521a7a7f4fde40a6f360e8c9c19c (diff)
Fixed bug in equiv_miter
-rw-r--r--passes/equiv/equiv_miter.cc12
1 files changed, 6 insertions, 6 deletions
diff --git a/passes/equiv/equiv_miter.cc b/passes/equiv/equiv_miter.cc
index f9f11916..305bc09c 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) {