Phelma Formation 2022

Verification (MT S9) - 5PMRMVE0

  • Number of hours

    • Lectures 10.0
    • Projects 0
    • Tutorials 0
    • Internship 0
    • Laboratory works 14.0

    ECTS

    ECTS 1.5

Goal(s)

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

Contact Francois CERISIER

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

Additional Information

Course list
Curriculum->Alternance MT->Semester 9