Génie Électrique

Vérification et test des systèmes numériques
Génie ÉlectriqueAnnée 3, Semestre S9
Cycle ingénieur		4 crédits ECTS3GESEVER
Objectifs
  • Ce module traite des concepts, techniques et outils dédiés à la vérification et au test circuits numériques
Liste des ECModélisation et vérification de systèmes réactifs
Vérification des CI
Testabilité intégrée
Formation au test industriel
Horaire encadré40 h
Travail personnel20 h
Évaluation25% Modélisation et vérification de systèmes réactifs
25% Vérification des CI
25% Testabilité intégrée
25% Formation au test industriel
Pré-requis2GES7VHD - Langage de description matériel (VHDL)
2GES8CSN - Conception de systèmes numériques
ResponsableAlexis LANDRAULT
18/08/2008
Génie ÉlectriqueModélisation et vérification de systèmes réactifs
Objectifs
  • Ce cours est une introduction aux concepts et techniques utilisés pour vérification de systèmes réactifs, en particulier ceux fondés sur la vérification de modèle (model-checking).
Compétences
  • Connaitre les principaux fondements théoriques des techniques de validation par vérification de modèle (théorie des automates, logiques temporelles)
  • Comprendre le principe des techniques de vérification par model-checking
  • Savoir appliquer ces techniques sur des exemples simples
Description
  • Vérifier : pourquoi, comment .
  • Elements de théorie des automates et des langages
  • Elements de logique temporelle (LTL, CTL)
  • Introduction au model-checking LTL
Horaire encadré14h (8h CM + 6h TD)
ÉvaluationExamen final, Écrit
Bibliographie

Model Checking, Clarke, E.M.; Grumberg, O.; Peled, D.A., MIT Press, 1999

Introduction to automata theory, languages and computation, Hopcroft, J.E.; Motwani R.; Ullman J.D., Addison-Wesley, 2003

Modélisation et Vérification des Systèmes Réactifs, Sérot, J., Cours en ligne : http://cust-interne.univ-bpclermont.fr/Enseignement/Ge/serot/cours

EnseignantsJocelyn SEROT
13/11/2009
Génie ÉlectriqueVérification des CI
Objectifs
  • maitriser les notions, concepts et langages permettant la validation/vérification des circuits intégrés
Compétences
  • Maitriser les techniques de vérification des circuits numériques et leur mise en pratique sur un outil industriel
Description
  • simulation/vérification
  • notion de preuve formelle
  • spécifications, équivalence, extraction fonctionnelle
  • Outils commerciaux et vérification automatisée (notion d'assertions)
ÉvaluationExamen final, Écrit
Support
  • Esterel studio
EnseignantsMichel JAMES, Alexis LANDRAULT
04/03/2010
Génie ÉlectriqueTestabilité intégrée
Objectifs
  • Maitriser la mise en oeuvre de techniques de tests dans la conception de composants microéectroniques
Compétences
  • Connaitre les différentes techniques de tests dans la conception de composants microéectroniques
Description
  • Notion fondamentales : commandabilité, observabilité
  • Techniques : scan-path, boundary scan
  • Compression de tests
Horaire encadré14h (6h CM + 8h TD)
ÉvaluationExamen final, Écrit
EnseignantsAlexis LANDRAULT
27/05/2009
Génie ÉlectriqueFormation au test industriel
Objectifs
  • Sensibilisation aux aspects pratiques du test en entreprise sur le testeur VERIGY (ex-Agilent) V93000 PinScale 3600 dernière génération, caractérisation des performances des circuits intégrés mixtes à des fréquences pouvant aller jusqu'à 3.6 GHz sur 32 entrées/sorties, préparation au test et mise en pratique de test réel d'un circuit.
Compétences
  • Maitriser la mise en œuvre des techniques de test des circuits intégrés sur un testeur industriel
Description
  • Test industriel, sensibilisation : principe, démonstration, le métier d'« ingénieur produit », les enjeux du test industriel...
  • Test industriel : architecture et logiciel testeur, test de continuité, test AC et DC, « Shmoo plots », « test debug » ...
Horaire encadré12h (6h TD + 6h TP)
ÉvaluationExamen final, Mémoire
Support
  • Testeur VERIGY V93000
EnseignantsAlexis LANDRAULT
27/05/2009