Aller au menu Aller au contenu
Diversité scientifique et technologique
L'école d'ingénieurs de physique, électronique, matériaux
Diversité scientifique et technologique

> Formation

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Volumes horaires

    • CM : 4.0
    • TP : 8.0
    Crédits ECTS : 1.0

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%



Informations complémentaires

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 5 octobre 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes