Phelma Formation 2022

Méthodologie de validation fonctionnelle (SEI S9) - 5PMEMVV0

  • Volumes horaires

    • CM 8.0
    • TP 4.0

    Crédits ECTS

    Crédits ECTS 1.5

Objectif(s)

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(s)

•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ôle des connaissances

Examen Ecrit : 50%

TP : 50%



50% written exam 2h + 50% pratical work

Informations complémentaires

Cursus ingénieur->SEI->Semestre 9