Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
Couvre les concepts fondamentaux des systèmes logiques, y compris les circuits séquentiels et combinatoires, les diagrammes détat et les machines détat fini.
Fournit une vue d'ensemble des circuits logiques numériques, en se concentrant sur les systèmes de mémoire et les décodeurs binaires, y compris leurs protocoles de fonctionnement et d'accès.
Introduit des circuits logiques séquentiels et des éléments de mémoire, en se concentrant sur leur rôle dans les systèmes numériques et les applications pratiques.
Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.
Explore les circuits logiques synchrones, les techniques de modélisation, la minimisation des états et l'optimisation des machines à états finis pour la réduction de surface.
Présente les principes fondamentaux des systèmes numériques, en se concentrant sur la logique séquentielle et les éléments de mémoire tels que les verrous et les bascules.
Couvre l'analyse temporelle des circuits synchrones, en se concentrant sur les bascules, les contraintes temporelles et les problèmes de métastabilité.
Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.