| 1 | = Outils de CAO pour VLSI = |
| 2 | |
| 3 | Présentation du flot de conception VLSI Alliance |
| 4 | |
| 5 | Suite du module VLSI de M1 ou MVLSI de M2[[BR]] |
| 6 | Franck Wajsbürt / Sophie Belloeil (UPMC) / Stéphanie Youssef (UFE) |
| 7 | |
| 8 | * 6 cours de 2 heures |
| 9 | * Flot de conception => 3 vues / vhdl / automate |
| 10 | * Synthèse logique => automatique et manuelle |
| 11 | * Synthèse physique => génération du layout symbolique et réel |
| 12 | |
| 13 | * 4 TME de 4 heures |
| 14 | * Synthèse logique => du comportement à la netlist |
| 15 | * Langage Stratus => description netlist |
| 16 | * Placement routage => de la netlist au layout |
| 17 | * Vérification => test de circuit et passage au réel |
| 18 | |
| 19 | Cet UE fait suite aux modules VLSI de M1 ou MVLSI de M2. |
| 20 | Il est suivi par les étudiants de l’UPMC et de l’UFE. |
| 21 | |
| 22 | Il s’organise en deux parties: d’abord 3 séances de 2 fois 2 heures de cours. |
| 23 | puis 4 séances de 4 heures de TME qui seront assurées par Sophie Belloeil à Paris et Stéphanie Youssef au Caire. |
| 24 | |
| 25 | La première séance de cours présente le flot de conception d’un VLSI qui permet de passer de la description d’un modèle comportementale aux masques attendus par le fondeur, puis approfondit la modélisation des automates. |
| 26 | La seconde séance porte sur les outils de synthèse, c'est-à-dire ceux qui permettent de passer de la description d’un comportement à une interconnexion de portes logiques. Nous verrons en particulier le langage Stratus bâti sur Python. |
| 27 | La troisième séance s’intéresse à la synthèse physique c'est-à-dire le passage d’une netlist aux masques, au dessin de cellules et aux outils de test. |
| 28 | |
| 29 | Les 2 premières séances de TME portent sur les outils et les langages de modélisation, le passage de la vue comportementale à la vue netlist. |
| 30 | Les 2 suivantes sur les outils et les langages qui permettent le passage de la vue netlist à la vue physique. |
| 31 | |
| 32 | L’évaluation se base sur les comptes rendus de TP et un examen dans lequel vous devez décrire un circuit et décrire un Makefile. |
| 33 | |
| 34 | = Cours = |
| 35 | |
| 36 | * [htdocs:C1_modelisation.pdf Flot de conception / Modélisation] |
| 37 | * [htdocs:C2_automates.pdf Automates synchrones] |
| 38 | * [htdocs:C3_syntheselogique.pdf Synthèse logique] |
| 39 | * [htdocs:C4_langagenetlist.pdf Langage Stratus / Python] |
| 40 | * [htdocs:C5_placerouteverif.pdf Placement, routage et vérification] |
| 41 | * [htdocs:C6_dessincellule.pdf Dessin de cellules] |
| 42 | |
| 43 | = TME = |
| 44 | |
| 45 | * [wiki:ToolsTp1 TP1 : Synthèse] |
| 46 | * [wiki:ToolsTp2 TP2 : Modélisation structurelle avec Stratus] |
| 47 | * [wiki:ToolsTp3 TP3 : Vue physique] |
| 48 | * [wiki:ToolsTp4 TP4 : AM 2901] |
| 49 | * [wiki:ToolsMakefile Annexe : Makefile] |
| 50 | |
| 51 | = Annales = |