Étapes d’analyse (circuit séquentiel synchrone, i.e. avec entrées) 1. Identifier les éléments de la machine de Mealy (décodeur d’état suivant, éléments de mémoire – FF JK, T, D -, décodeur de sortie). 2. Écrire les équations booléennes pour chaque élément de mémoire (FF JK, T, D). 3.
Un système séquentiel synchrone voit son état synchronisé par un signal dit d’ «horloge». Une MSS est aussi appelée machine d’état. Toutefois, assez souvent on préfère la solution de type machine de Moore. En effet, les sorties d'une machine Mealy ne sont pas synchronisées avec l'horloge, pouvant changer en même temps qu'une entrée externe.
Dans le mode synchrone, les éléments de mémorisation sont des bascules. Les modifications d'état du système ne peuvent donc intervenir qu'à des instants très précis déterminés par des signaux d'horloge. Par contre, dans le mode asynchrone, la fonction de mémorisation est réalisée par de simples boucles de rétroaction.
Certains signaux peuvent causer des perturbations ou être manqués ⇒ On ajoute un circuit de synchronisation avec Tset-up très faible Thold FF rapide Un des critères de design du circuit de synchronisation : éviter les états métastables, par exemple en ayant 2 étages au circuit de synchronisation.