Phelma Formation 2022

Méthodologie de validation fonctionnelle (MT S9) - 5PMRMVV8

  • Volumes horaires

    • CM 4.0
    • TP 8.0

    Crédits ECTS

    Crédits ECTS 1.0

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%



Informations complémentaires

Cursus ingénieur->APPRENTISSAGE MT->Semestre 9