diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-01 22:53:27 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-01 22:53:27 +0100 |
| commit | f4f0bd6eeff3d7307c6290025d22b126779939a1 (patch) | |
| tree | a1f44f1897d946adebf7035f8063395203a8ac7c /passes/sat/miter.cc | |
| parent | 374674aff46c7464596fa18b07a5331e2f03ff8c (diff) | |
| download | yosys-f4f0bd6eeff3d7307c6290025d22b126779939a1.tar.gz yosys-f4f0bd6eeff3d7307c6290025d22b126779939a1.tar.bz2 yosys-f4f0bd6eeff3d7307c6290025d22b126779939a1.zip | |
Fixed a bug in miter command
Diffstat (limited to 'passes/sat/miter.cc')
| -rw-r--r-- | passes/sat/miter.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc index 1f9a3c96a..a0bf222af 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; |