Connectez-vous pour filtrer par séance de cours Connectez-vous pour filtrer par séance de cours Réinitialiser
Explore la formalisation des modèles de mémoire et leur rôle crucial dans l'optimisation des programmes.
Couvre la synthèse automatique du code OS pour alléger le fardeau des développeurs dans la configuration du matériel de traduction.
Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.
Explore le passage des tests logiciels aux spécifications formelles, en soulignant l'importance d'exigences claires en génie logiciel.
