diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-01-30 10:50:38 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-01-30 10:50:38 +0100 |
| commit | fe29869ec5104376d7d061e82a7f7be77673e8f1 (patch) | |
| tree | 891c3a50514f097d3a62caaf56c1bccb176de69c /passes/equiv/equiv_simple.cc | |
| parent | e54c355b417eb7fa19421176792d01cb7a62d4cb (diff) | |
| download | yosys-fe29869ec5104376d7d061e82a7f7be77673e8f1.tar.gz yosys-fe29869ec5104376d7d061e82a7f7be77673e8f1.tar.bz2 yosys-fe29869ec5104376d7d061e82a7f7be77673e8f1.zip | |
Add $ff and $_FF_ support to equiv_simple
Diffstat (limited to 'passes/equiv/equiv_simple.cc')
| -rw-r--r-- | passes/equiv/equiv_simple.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/equiv/equiv_simple.cc b/passes/equiv/equiv_simple.cc index 49963ed68..270200c34 100644 --- a/passes/equiv/equiv_simple.cc +++ b/passes/equiv/equiv_simple.cc @@ -59,7 +59,7 @@ struct EquivSimpleWorker for (auto &conn : cell->connections()) if (yosys_celltypes.cell_input(cell->type, conn.first)) for (auto bit : sigmap(conn.second)) { - if (cell->type.in("$dff", "$_DFF_P_", "$_DFF_N_")) { + if (cell->type.in("$dff", "$_DFF_P_", "$_DFF_N_", "$ff", "$_FF_")) { if (!conn.first.in("\\CLK", "\\C")) next_seed.insert(bit); } else @@ -329,7 +329,7 @@ struct EquivSimplePass : public Pass { unproven_cells_counter, GetSize(unproven_equiv_cells), log_id(module)); for (auto cell : module->cells()) { - if (!ct.cell_known(cell->type) && !cell->type.in("$dff", "$_DFF_P_", "$_DFF_N_")) + if (!ct.cell_known(cell->type) && !cell->type.in("$dff", "$_DFF_P_", "$_DFF_N_", "$ff", "$_FF_")) continue; for (auto &conn : cell->connections()) if (yosys_celltypes.cell_output(cell->type, conn.first)) |