Volumes horaires
- CM 10.0
- Projet 0
- TD 0
- Stage 0
- TP 14.0
Crédits ECTS
Crédits ECTS 2.5
Objectif(s)
Ce module d'enseignement constitué de cours et de TP a pour but de former les futurs ingénieurs aux métiers de la vérification et validation fonctionnelle des circuits et systèmes intégrés sur puce.
Contact Francois CERISIER, Katell MORIN ALLORYContenu(s)
*Introduction à la vérification et stratégies de vérification et syntaxe de base SystemVerilog
*séquences UVM: Création de séquences de tests aléatoires (design d’exemple UART)
*Checking & assertions: Validation des attendus (principe de scoreboard)
*Couverture de code et couverture fonctionnelle
*Vérification d'intégration au niveau système
*Introduction à la vérification formelle et Assertions SVA
Prérequis
*Conception VLSI
*Langage de conception et de modélisation matériel (VHDL ou Verilog)
*Architectures numériques
Contrôle des connaissances
Session1 normale
50%Examen + 50% controle continu (TP)
Session1 confinée
50% DM + 50% TP
Session 2 normale
50% orale + 50% TP(note session1)
session2 confinée
50%orale (zoom )+ 50% TP(note session1)
50% CC+50% exam