riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed a bug in miter command

This commit is contained in:
Clifford Wolf 2014-02-01 22:53:27 +01:00
parent 374674aff4
commit f4f0bd6eef
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/sat/miter.cc
View File

@ -195,7 +195,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
RTLIL::Cell *eq_cell = new RTLIL::Cell; RTLIL::Cell *eq_cell = new RTLIL::Cell;
eq_cell->name = NEW_ID; eq_cell->name = NEW_ID;
eq_cell->type = "$eq"; eq_cell->type = "$eqx";
eq_cell->parameters["\\A_WIDTH"] = w2_gold->width; eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
eq_cell->parameters["\\B_WIDTH"] = w2_gate->width; eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
eq_cell->parameters["\\Y_WIDTH"] = 1; 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; RTLIL::Cell *eq_cell = new RTLIL::Cell;
eq_cell->name = NEW_ID; eq_cell->name = NEW_ID;
eq_cell->type = "$eq"; eq_cell->type = "$eqx";
eq_cell->parameters["\\A_WIDTH"] = w2_gold->width; eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
eq_cell->parameters["\\B_WIDTH"] = w2_gate->width; eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
eq_cell->parameters["\\Y_WIDTH"] = 1; eq_cell->parameters["\\Y_WIDTH"] = 1;