Degrees incorporating this pedagocial element :
Description
This course gives an introduction to digital circuits modeling, design, and verification, and to the associated methods and tools (simulation, simulation with formal assertions, ASIC synthesis, FPGA synthesis).
Ce cours fournit une introduction à la modélisation, la conception et la vérification des circuits numériques, ainsi qu’aux méthodes et outils associés (simulation, simulation avec assertions formelles, synthèse ASIC, synthèse FPGA).
Courses offered by :
In brief
Period : Semester 8Credits : 3
Number of hours
- Lectures (CM) : 18h
- Practical work (TP) : 15h
Hing methods : In person
Location(s) : Grenoble
Language(s) : English
Contact(s)
Program director
Laurence Pierre
International students
Open to exchange students