F1B302A : Systèmes numériques sur puces


Retour
Imprimer la fiche programme
Code analytique: EDF01B302
Responsable  : Matthieu ARZEL
Co-responsable  : Michel JEZEQUEL
   
Programmé en UVF1B302

Présentation :

La rapide évolution des composants CMOS vers les nanotechnologies offre la possibilité d'intégrer un système complexe dans un circuit intégré SOC (System On Chip). Parallèlement, la diversité et la complexité des applications « temps réel », dédiées à des systèmes embarqués, nécessitent l'utilisation d'un flot de conception mixte logiciel/matériel (Codesign) reposant sur des langages tels que SystemC et des méthodologies comme la synthèse d'architecture. Cette UV présente les architectures, les outils et les méthodologies utilisés pour l'intégration de ces systèmes complexes.

Objectifs pédagogiques :


  • Sensibiliser à la conception système
  • Être capable d'utiliser un environnement de modélisation pour le langage SystemC
  • Maîtriser la description et la synthèse d'une application à l'aide d'un outil de synthèse d'architecture
  • Connaître, comprendre et mettre en oeuvre les méthodes permettant d'arriver le plus sûrement possible au résultat espéré
  • Avoir connaissance des principes architecturaux utilisés dans les microprocesseurs et processeurs de traitement de signal
  • Prendre en main un flot de conception système dédié aux SoCs
  • Savoir justifier d'un choix de circuit en fonction de l'application. Sensibiliser à la conception de circuit incluant un coeur de microprocesseur

Volume horaire : 63h


Contenu détaillé :

CSN1 : Architectures avancées des microprocesseurs A.Baghdadi 18h
- Modèles de base, concepts et évolution (modèle de base, instructions, cycles d'exécution, pipeline, superscalaire, VLIW, ASIPs,modèle de programmation, métriques de performance) 3h
- Amélioration des performances (RISC, CISC, pipeline, exécution spéculative, caches, analyse de quelques exemples de microprocesseur) 3h
- Architectures et méthodes de conception avancées (ASIPs, reconfigurabilité,langage de modélisation et outils et génération automatique) 3h + 3h

· Travaux pratiques 6h



CSN2 : Méthodologie et perspectives P. Adde 21h
*** Test 4h
*** Vérification formelle 3h
· Mémoires 3h
*** Nanotechnologies et nanoélectronique 3h
*** MEMS 2h
*** Architecture asynchrone 3h
· Basse consommation 3h


CSN3 : Modélisation et Conception des Systèmes Numériques Complexes M.Arzel 24h
. Codesign 3h
· Flot de conception d'un SoC : langages & méthodologies 3h
· System on Chip : présentation & évolution 1h30
· IP : standards, interfaces & tendances 1h30 +3h

· Langage système : initiation au langage SystemC 3h
· Synthèse d'architecture :
Initiation à la synthèse de haut niveau 3h
Flot de conception système : prise en main 6h
*** Réseaux Ad-Hoc 3h

*** : fait à Grenoble. Hors programmation, visite de l'usine de Crolles lors de ce déplacement d'une semaine.

Equipe pédagogique :
Patrick Adde
Amer Baghdadi
Loréna Anghel
Dominique Borrione
Didier Flury
David Gnaedig
Dominique Barthel
Thomas Ernst
Laurent Fesquets
Daniel Chillet
Skandar Basrour
Agnès Bonvilain
Charbel Abdel Nour

CSN1 :
1-Modèles de base, concepts et évolution Amer Baghdadi
2-Amélioration des performances Amer Baghdadi
3-Architectures et méthodes de conception avancées Amer Baghdadi
4-Architectures avancées Charbel Abdel Nour
5-Travaux pratiques Amer Baghdadi Charbel Abdel Nour
6-Travaux pratiques Amer Baghdadi Charbel Abdel Nour

CSN2 :
1-Test Loréna Anghel
2-Preuve formelle Dominique Borrione
3-Mémoires Didier Flury
4-Nanotechnologies et nanoélectronique Thomas Ernst
5-Architecture asynchrone Marc Renaudin
6-Basse consommation Daniel Chillet
7-MEMS Skandar Basrour Agnès Bonvilain

CSN3 :
1-System on Chip : présentation & évolution David Gnaedig
2-IP : standards, interfaces & tendances David Gnaedig
3-Codesign Matthieu Arzel
4-Langage et flot système, Synthèse d'architecture Matthieu Arzel
5-TP1 Matthieu Arzel PH Horrein
5bis-TP1 Matthieu Arzel PH Horrein
6-TP2 Matthieu Arzel PH Horrein
6bis-TP2 Matthieu Arzel PH Horrein
7-Réseaux Ad-Hoc Dominique Barthel


Activités programmées :(par demi-journée)

CSN2-1 Mémoires (1)
CSN2-2 Basse consommation (1)
CSN2-4 Preuve formelle (1)
CSN2-5 Test (1)
CSN2-6 Nanotechnologies et nanoélectronique (1)
CSN2-7 Architecture asynchrone (1)
CNS2-8 Mems (1)

CSN3-6 Réseaux Ad-Hoc (1)
CSN1-1 Modèles de base, concepts et évolution (1)
CSN1-2 Amélioration des performances (1)
CSN1-3 Architectures et méthodes de conception avancées (1)
CSN1-4 Travaux pratiques (3)

CSN3-1 System on Chip : présentation & évolution (1)
CSN3-2 IP : standards, interfaces & tendances (1)
CSN3-3 Flot de conception d'un SoC, Synthèse d'architecture (1)
CSN3-4 Langage et flot système, (3)


Année 2019/2020
Dernière mise à jour le 11-JAN-19
Validation par le responsable de programme le


IMT Atlantique
Campus de Brest
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 3
France

Tél  +33 (0)2 29 00 11 11
Fax +33 (0)2 29 00 10 00