summaryrefslogtreecommitdiff
path: root/passes/sat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-01 22:53:27 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-01 22:53:27 +0100
commitf4f0bd6eeff3d7307c6290025d22b126779939a1 (patch)
treea1f44f1897d946adebf7035f8063395203a8ac7c /passes/sat
parent374674aff46c7464596fa18b07a5331e2f03ff8c (diff)
Fixed a bug in miter command
Diffstat (limited to 'passes/sat')
-rw-r--r--passes/sat/miter.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index 1f9a3c96..a0bf222a 100644
--- a/passes/sat/miter.cc
+++ b/passes/sat/miter.cc
@@ -195,7 +195,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
RTLIL::Cell *eq_cell = new RTLIL::Cell;
eq_cell->name = NEW_ID;
- eq_cell->type = "$eq";
+ eq_cell->type = "$eqx";
eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
eq_cell->parameters["\\Y_WIDTH"] = 1;
@@ -211,7 +211,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
{
RTLIL::Cell *eq_cell = new RTLIL::Cell;
eq_cell->name = NEW_ID;
- eq_cell->type = "$eq";
+ eq_cell->type = "$eqx";
eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
eq_cell->parameters["\\Y_WIDTH"] = 1;