Phelma Formation 2022

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

  • Number of hours

    • Lectures 8.0
    • Laboratory works 4.0

    ECTS

    ECTS 1.5

Goal(s)

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

Contact Katell MORIN ALLORY

Content(s)

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

Test

1 exam 2h

1 mark on report



50% written exam 2h + 50% pratical work

Additional Information

Course list
Curriculum->SEI->Semester 9