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.
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