Ce cours a pour but de présenter les principaux concepts, méthodes et outils utilisés pour la conception, la vérification et le test des systèmes numériques intégrés.
Par nature, cet enseignement est à finalité pratique. Il est donc associé à un BE, permettant la mise en œuvre des principaux outils du flot de conception.

Cours :
Importance de l'intégration pour les systèmes embarqués.
Flot de conception et évolution, bases de synthèse algorithmique.
Modélisation VHDL pour la synthèse et la ré-utilisation.
Vérification fonctionnelle et temporelle.
Principes de génération de vecteurs de test et de conception pour le test.
Optimisation et vérification de l'implantation.

TP :
Spécification, implantation, et vérification d'un circuit numérique précaractérisé

Circuits numériques, concepts de base en architecture d'ordinateur, bases de modélisation VHDL.

Devoir surveillé (2h) + contrôle continu en TP (compte-rendus) (CR)
<br>

N1=1/2E1+1/2CR
N2=1/2E2+1/2CR Maintien de la note de compte-rendu du TP
<br>