GRO235 - Logique séquentielle

Cible(s) de formation

Modéliser et résoudre un problème de logique séquentielle et son évolution temporelle à l’aide de représentations mathématiques de l'information discrète. Concevoir, implémenter et évaluer des systèmes numériques séquentiels à partir de spécifications.

Contenu

Systèmes combinatoires et séquentiels. Machines à états finis. Machines de type Moore ou Mealy. Automaintien. Priorité à l’activation ou à la désactivation. Diagrammes d’états, tables d’états et de transitions, chronogramme. Compteurs et minuteurs. Architecture GEMMA. Démarche de conception d’un programme séquentiel. Implémentation et validation sur automate programmable.

Préalable(s)

Avoir obtenu 9.00 crédits

---

* Sujet à changement