UE Conception de systèmes sur puce

Diplômes intégrant cet élément pédagogique :

Descriptif

cette UE est composée d'un cours sur les méthodologies et outils de conception, d'un cours sur la spécification et preuve formelle et d'un cours sur le test des circuits.

Cours Méthodologies et outils de conception :

présenter les systèmes sur puce et les méthodes et outils utilisés pour construire un flot de conception de  systèmes intégrés numériques complexes.

cours spécification et preuve formelle :

Comprendre les objectifs de la vérification formelle, fonctionnelle et temporelle. Décrire les techniques de vérification correspondantes.

cours test de circuits :

Dans ce cours seront étudiées les méthodes et techniques de test des circuits numériques intégrés. L'accent est porté sur la conception en vue du test (DFT pour Design for Testability). Parmi ces techniques, sont abordéesentre autres  les notions de  modèle de collage, scan, BIST logique et mémoire et JTAG.

Informations complémentaires

Langue(s) : Français