Also merge $equiv cells in equiv_struct
authorClifford Wolf <clifford@clifford.at>
Fri, 23 Oct 2015 13:26:58 +0000 (15:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 23 Oct 2015 13:26:58 +0000 (15:26 +0200)
passes/equiv/equiv_struct.cc

index ff844ea21ba5b6f6256ab4a60c73841a361521cc..c509e25565c30de0ad6079ebdc07093421394cf3 100644 (file)
@@ -119,6 +119,7 @@ struct EquivStructWorker
                for (auto cell : module->selected_cells())
                        if (cell->type == "$equiv") {
                                equiv_bits.add(sigmap(cell->getPort("\\A")), sigmap(cell->getPort("\\B")));
+                               cells_by_type[cell->type].insert(cell->name);
                        } else
                        if (module->design->selected(module, cell)) {
                                if (mode_icells || module->design->module(cell->type))