Aller au menu Aller au contenu
Our engineering & Master degrees


School of engineering in Physics, Applied Physics, Electronics & Materials
Science

Our engineering & Master degrees
Our engineering & Master degrees

> Studies

Functional Verification & validation (SEI-S9) - 5PMEMVV0

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
  • Number of hours

    • Lectures : 8.0
    • Laboratory works : 4.0
    ECTS : 1.5

Goals

The course aims at introducing general concepts of functional verifiation and validation.

Contact Katell MORIN ALLORY

Content

The course contains
•BDDs, boolean functions
•Circuits Equivalence Checking
•Logic-temporal properties (PSL, SVA)
•Assume-assert validaiton
•Model Checking


Further information
Apogee code : 5PMEMVV0



Prerequisites

Tests

1 exam 2h

1 mark on report



50% written exam 2h + 50% pratical work

Additional Information

Curriculum->SEI->Semester 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
Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes