Une grande école d'ingénieurs au cœur des sciences
de l'information, de l'énergie et des systèmes
18h C dont contrôle / 2 crédits ECTS
Alain Gauthier (Gif)
Les progrès sans cesse croissants de la micro-électronique ont permis l'intégration de systèmes de traitement de l'information extrêmement performants. Ainsi la conception et l'intégration de systèmes électroniques sont devenues des points clé du développement technique que nous connaissons aujourd'hui. Ce module, en s'appuyant sur les cours d'électronique analogique et d'électronique des systèmes logiques, présente une synthèse des aspects technologiques et méthodologiques de l'intégration des systèmes électroniques en se référant au contexte industriel actuel.
Circuits intégrés monolithiques
Description des différentes technologies disponibles : bipolaire, CMOS et BiCMOS, Arséniure de Gallium et présentation des domaines d'application respectifs. Modes de réalisation : au micron (ciselé), à partir de cellules pré caractérisées ou pré diffusées, circuits compilés. Rappel des différentes familles logiques disponibles.
Conception des circuits intégrés numériques
Logique statique et dynamique. Synthèse de circuits par interrupteurs. Fabrication des circuits intégrés et génération des masques.
Comportement électrique et simulation électrique, modèles utilisés. Principales architectures intégrées : logique anarchique, itérative, matricielle, ALU, RAM, ROM, etc. Test des circuits intégrés numériques.
Circuits analogiques et intégration mixte
Tendances actuelles de l'électronique analogique. Contraintes spécifiques liées à l'intégration mixte. Exemple de l'intégration des interfaces analogiques-numériques, des circuits micro puissance.
Méthodes et outils de conception
Nécessité d'une méthodologie de conception. Description et modélisation des circuits : structurelle, comportementale, hiérarchisée. Langage de description de matériel. Utilisation de la simulation logique et comportementale pour la validation et le test. Outils divers de vérification, d'extraction de schéma, d'abstraction et de preuve formelle.