jorisgio/lics-compiler — Issue #4: Vérification de l'absence de cycle
Author: jorisgio
Created: 2011-12-11 03:33:57+00:00
State: open

Il faut vérifier que le circuit ne contient pas de cycle combinatoire
On peut ajouter des infos de position dans le graphe. Après la suppression des registres, on effectue un parcours en largeur, ou durant le tri topologique, pour vérifier l'abscense de cycle.