Diapositive 12 sur 12
Commentaires:
Il est possible que le regroupement échoue (erreur de cycle), alors que chaque module fonctionne isolément.
Lorsqu’on écrit un module, on peut faire une erreur qui conduit un signal de sortie à être sur-échantillonné par rapport à la spécification.
Comme on ne teste pas toutes les possibilités des entrées (on s’en tient à vérifier les spécifications), l’erreur peut passer inaperçue.
A l ’assemblage des modules, s’il y a des bouclages (et c’est le cas du chariot), on voit alors apparaître une erreur de cycle.
Il faut donc pour chaque module, en plus du jeu d’essais, vérifier l ’arborescence des horloges, par le fichier ..._TRA.SIG, qu’on peut obtenir par la commande : sig -tra …
