Aller au menu Aller au contenu
Grenoble INP - UGA
Our engineering & Master degrees


School of engineering in Physics, Applied Physics, Electronics & Materials
Science
Our engineering & Master degrees
Our engineering & Master degrees

> Studies

Verification (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

  • Number of hours

    • Lectures : 10.0
    • Tutorials : 0
    • Laboratory works : 14.0
    • Projects : 0
    • Internship : 0
    ECTS : 1.5

Goals

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

Contact Francois CERISIER

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% TP+50% exam

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

Date of update October 14, 2019

Université Grenoble Alpes