Please note that you are curently looking at the ongoing Academic Programs. Applications are now closed for this academic year (2020-2021) for licences, professional licences, masters, DUT and regulated health training. If you are interested for an application in 2021-2022, please click on this link for the appropriate Academic Programs.
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 : Semestre 8Credits : 3
Number of hours
- TP : 15h
- CM : 15h
Location(s) : Grenoble
Language(s) : Anglais
Contact(s)
Laurence Pierre
