Added $logic_not handling to fsm_detect

YosysHQ · Sep 18, 2015 · b7535a6 · b7535a6
1 parent c89ceee
commit b7535a6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/passes/fsm/fsm_detect.cc b/passes/fsm/fsm_detect.cc
@@ -89,6 +89,8 @@ static bool check_state_users(RTLIL::SigSpec sig)
 		RTLIL::Cell *cell = cellport.first;
 		if (muxtree_cells.count(cell) > 0)
 			continue;
+		if (cell->type == "$logic_not" && assign_map(cell->getPort("\\A")) == sig)
+			continue;
 		if (cellport.second != "\\A" && cellport.second != "\\B")
 			return false;
 		if (!cell->hasPort("\\A") || !cell->hasPort("\\B") || !cell->hasPort("\\Y"))