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.
•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
Examen Ecrit : 50%
TP : 50%
50% written exam 2h + 50% pratical work
Nos sites
e-Services
