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.

Horaire

Cours

GroupeJourHeureLocalEnseignant(e)
01Lundi 14h45, 15h45, 16h45 M-2103  Bois, Guy

Travaux pratiques

GroupeJourHeureLocalEnseignant(e)
01Lundi 08h30, 09h30, 10h30 (B2) L-3712  À déterminer

Le groupe de travaux pratiques doit correspondre au groupe de cours

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