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 vérification (MT S9) - 5PMRMVE0

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

    • CM : 10.0
    • TD : 0
    • TP : 14.0
    • Projet : 0
    • Stage : 0
    Crédits ECTS : 1.5

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 Francois CERISIER

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 cet article Facebook Twitter Linked In

mise à jour le 14 octobre 2019

Université Grenoble Alpes