Number of hours
- Lectures 4.0
- Laboratory works 8.0
ECTS
ECTS 1.0
Goal(s)
The course aims at introducing general concepts of functional verifiation and validation.
Contact Katell MORIN ALLORYContent(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
Additional Information
Course list
Curriculum->ALTERNANCE MT->Semester 9