Méthodologie de validation fonctionnelle (SEI S9) - 5PMEMVV0
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Objectifs
le cours vise introduire les concepts générales de la validation fonctionnelle
Le TP illustrera la mise en pratique des concepts fondamentaux vus en cours.
Contact Katell MORIN ALLORY
Contenu •BDDs, Manipulation de fonctions booléennes
•Equivalence Checking des circuits
•Expression des propriétés logico-temporelles (PSL, SVA)
•Validation par une approche assume-assert
•Model Checking
Prérequis
Contrôles des connaissances Examen Ecrit : 50%
TP : 50%
50% written exam 2h + 50% pratical work
Informations complémentaires
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail