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 l'optimisation des fonctions booléennes à l'aide de Majority-Inverter Graphs et Majority Gates, y compris les règles algébriques et la synthèse exacte.
Couvre la vérification de la synchronisation, la modélisation du retard de la porte, le retard du réseau, les chemins sensibilisables et l'analyse du chemin critique dans les circuits numériques.
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.
Couvre le modèle structurel pour les circuits séquentiels, les réseaux logiques synchrones et les approches de synthèse séquentielle, y compris le retiming.
