Fondamentaux de la CAO VLSI : Synthèse et Optimisation Logique

Les circuits intégrés modernes contiennent des milliards de composants, rendant la conception manuelle impossible sans logiciels sophistiqués. Ce cours fournit une base solide dans les outils de CAO au niveau logique qui transforment les descriptions fonctionnelles abstraites en matériel optimisé. Vous apprendrez à naviguer dans l'immense complexité de la conception de puces en comprenant les algorithmes logiciels qui automatisent le processus. Grâce à des explications écrites et des analyses techniques, vous développerez les compétences nécessaires pour analyser et implémenter les fonctions logiques de base utilisées aujourd'hui dans l'industrie des semi-conducteurs. Ce que vous apprendrez : - Comprendre les principes fondamentaux de l'algèbre booléenne et de la représentation logique - Appliquer des algorithmes de synthèse pour convertir des descriptions de haut niveau en netlists au niveau des portes - Pratiquer des techniques d'optimisation pour réduire la surface, la consommation d'énergie et le délai - Maîtriser les méthodes de simulation logique pour vérifier l'exactitude de la conception - Explorer les concepts modernes de vérification formelle et le rôle des solveurs SAT dans la conception matérielle - Apprendre comment les contraintes de placement et de routage influencent les décisions au niveau logique Le matériel commence par la terminologie essentielle et les structures de données booléennes de base avant de passer aux algorithmes de synthèse complexes et aux stratégies de vérification. Cette approche structurée garantit que vous développez une compréhension approfondie de la manière dont les outils de CAO gèrent une échelle massive. Ce cours est conçu pour les débutants en génie électrique ou en informatique qui souhaitent comprendre le côté logiciel de la conception matérielle. Aucune expérience préalable du développement d'outils de CAO n'est requise. Commencez à bâtir votre compréhension du logiciel qui alimente l'industrie des semi-conducteurs.