Détails et horaire du cours INF8500

Détails

Titre :	Systèmes embarqués:conception et vérification
Nombre de crédits :	3
Cycle :	Études supérieures
Triplet (h/semaine) :	3 - 1.5 - 4.5
Offert par :	Génies informatique, logiciel
Responsable(s) :	Bois, Guy
Préalable(s) :	INF3610 ou l'équivalent
Corequis :
Site Web :	http://moodle.polymtl.ca/course/view.php?name=INF8500
Documentation :
Note(s) :	Ce cours est admissible pour les étudiants du bacccalauréat.
Description :	Introduction à la conception conjointe logiciel/matériel. Techniques de vérification fonctionnelle pour le matériel : génération aléatoire de tests sous contraintes, couverture de code, couverture fonctionnelle et assertions. Plan de vérification. Stimuli et réponse. Banc d'essai et concept de réutilisation pour différents niveaux d'abstraction. Langages System Verilog et SystemC pour la modélisation et la vérification de systèmes embarqués. Covérification, codébogage et cosimulation. Définition du codesign logiciel/matériel. Étapes de codesign : allocation, partitionnement logiciel/matériel, ordonnancement et raffinement. Estimation de performance. Synthèse du logiciel, du matériel et du protocole de communication. Implémentation. Études de cas d'outils industriels.

Plan triennal

2013 - 2014			2014 - 2015			2015 - 2016
Automne	Hiver	Été	Automne	Hiver	Été	Automne	Hiver	Été
Jour	-	-	Jour	-	-	Jour	-	-