logique séquentielle

La logique séquentielle est une classe de circuits numériques dans laquelle la sortie à un instant donné dépend non seulement des entrées présentes, mais aussi des états par lesquels le circuit est passé. Contrairement à la logique combinatoire, qui produit des sorties instantanément à partir des seules entrées, la logique séquentielle utilise des éléments de mémoire tels que des bascules (flip-flops) ou des verrous (latches) pour retenir des informations sur les conditions précédentes. C'est cette mémoire qui fait dépendre le comportement du circuit de son historique.

Le cœur de tout circuit séquentiel est le signal d'horloge, une impulsion régulière qui synchronise les changements d'état dans tout le système. Sur chaque front d'horloge (montant ou descendant, selon la conception), les bascules échantillonnent leurs entrées et mettent à jour leur état stocké. C'est ce qu'on appelle la logique séquentielle synchrone, le type le plus courant dans les systèmes numériques modernes. La logique séquentielle asynchrone existe, mais elle est plus difficile à concevoir de manière fiable, car les changements d'état peuvent se produire à tout instant. Elle est principalement utilisée là où un signal d'horloge est impraticable ou lorsque la vitesse est critique et que les marges sont gérées avec soin.

Bascules et machines d'état

Les blocs de construction fondamentaux sont les bascules : des dispositifs bistables avec deux états stables, généralement étiquetés 0 et 1. Les types courants incluent les bascules SR (Set-Reset), JK, D (Data) et T (Toggle), chacune ayant des comportements d'entrée différents. Les bascules sont mises en cascade et interconnectées pour former des machines d'état finies, qui passent d'un état bien défini à un autre en fonction des conditions d'entrée et de l'horloge. Un exemple simple est un compteur : sa sortie s'incrémente à chaque impulsion d'horloge, stockant le résultat dans des bascules. Un exemple plus complexe est un séquenceur qui parcourt une séquence d'opérations prédéterminée.

Les circuits séquentiels sont essentiels partout où l'ordre, la synchronisation ou la persistance de l'état sont importants : dans les microprocesseurs, les systèmes de contrôle, les protocoles de communication et tout système numérique qui doit traiter des informations au fil du temps plutôt qu'instantanément. La conception exige une attention particulière aux temps de setup et de hold (la fenêtre pendant laquelle une entrée doit être stable par rapport au front d'horloge), à la distribution de l'horloge et au risque de métastabilité, qui se produit lorsqu'une bascule est perturbée près d'une transition d'horloge et prend un temps imprévisible pour se stabiliser.

Le contraste avec la logique combinatoire est frappant : un multiplexeur ou un additionneur (combinatoire) répond aux entrées en quelques nanosecondes sans mémoire ; une machine d'état (séquentielle) se souvient de son chemin à travers une séquence et produit des sorties qui encodent non seulement l'entrée actuelle, mais aussi l'historique accumulé. Cette distinction façonne la manière dont les ingénieurs partitionnent toute conception numérique : certains blocs sont de la logique pure, d'autres sont à états, et l'interaction entre eux doit être synchronisée avec soin pour garantir un fonctionnement correct sur toutes les plages de température et de tension.