Polytechnique > Programmes > Cours et horaires > Détails et horaire

Répertoire des cours et horaires

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) :Guy Bois
Préalable(s) :INF3610 ou l'équivalent
Corequis :
Site Web :http://moodle.polymtl.ca/course/view.php?name=INF8500
Documentation :
Note(s) :
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

2017 - 20182018 - 20192019 - 2020
AutomneHiverÉtéAutomneHiverÉtéAutomneHiverÉté
-Jour-Jour--Jour--

Données en format XML

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions