Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
- Connaître les enjeux de la vérification des circuits numériques (besoins de fiabilité et en même temps complexités des circuits croissants).
- Connaître et mettre en œuvre en projet les techniques de vérification des circuits électroniques numériques (assertions, code coverage, vérification formelle...).
- Savoir identifier les limites de la vérification.
Description
- La matière comprend 3h30 de cours magistral et 10h30 de projet et est évaluée sur un rapport sur le projet.
- Le cours magistral présente les notions décrites dans les objectifs d'un point de vue théorique.
- Le projet permet de mettre en pratique ces notions, en vérifiant un circuit électronique dans lequel des erreurs ont été volontairement insérées à la conception.
Pré-requis obligatoires
- Maîtrise du VHDL
- Expérience dans la conception de systèmes numérique synchrones.