Analyser un circuit logique séquentiel a pour but de déterminer le comportement qu’aura le circuit selon les séquences d’entrée qui lui seront appliquées et l’état dans lequel il se trouve initialement. On voudra aussi connaître quelles séquences de sortie seront produites.
Dans la mesure où un circuit comporte une ou des bascules (peu importe le type) et un signal d’horloge, on peut considérer qu’il s’agit d’un circuit séquentiel synchrone. Le type de bascule sera pris en compte pour l’analyse, qui consistera à déterminer, pour un état présent donné, quels seront les prochains états possibles selon les valeurs d’entrée.
Les grandes lignes de la démarche sont les suivantes.
entrées externes
éléments de mémoire
décodeur de prochain état
sorties externes
décodeur de sortie
Au centre de ce processus se trouve l’analyse des circuits combinatoires qui déterminent ce que seront les entrées des bascules. Nous chercherons à établir les équations de transition qui précisent ce que sera le prochain état en fonction des entrées et de l’état présent.