Explore le langage d'assemblage MIPS, couvrant les appels de fonctions, la gestion de la mémoire et les structures de données, y compris les fonctions récursives, les constructions de programmation, les tableaux et les listes liées.
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
Couvre la modélisation des circuits logiques séquentiels en VHDL, y compris les processus, les instructions de contrôle, les tongs, les compteurs et les registres.
Couvre pendant et pour les boucles, y compris les boucles infinies, continuez, passez, et les déclarations de rupture, avec des exemples et des exercices.
Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.
