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

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

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



Additional Information

Curriculum->ALTERNANCE MT->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

Date of update October 5, 2017

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