| Session | Horaire | Titre du cours | Responsable |
|---|---|---|---|
| 1 | lundi, 24 février | Cours: Introduction vérification et test | Ulrich Kühne |
| 2 | lundi, 24 février | Cours: Test-Driven Design | Ulrich Kühne |
| 3 | mercredi, 26 février | TP: Test-Driven Design | Ulrich Kühne |
| 4 | vendredi, 28 février |
Cours: Introduction méthodes formelles |
Étienne Borde |
| 5 | lundi, 2 mars | Cours: Vérification du matériel Cours: System Verilog Assertions |
Ulrich Kühne |
| 6 | lundi, 2 mars | TP: Vérification du matériel avec SVA | Ulrich Kühne |
| 7 |
mercredi, 4 mars |
TP: UPPAAL | Étienne Borde |
| 8 | vendredi, 6 mars | Ludovic Aprville |
| Fichier attaché | Taille |
|---|---|
 se767-intro.pdf | 2.01 Mo |
| se767-tdd.pdf | 1.24 Mo |
| Vérification du matériel | 2.52 Mo |
| System Verilog Assertions | 556.84 Ko |