Une puce VLSI moderne comporte des dizaines de milliers d'éléments : logique, contrôle, mémoire, interconnexion, etc. Comment concevons-nous ces puces complexes ? Réponse : Les outils logiciels de CAO. Une puce VLSI moderne est une bête remarquablement complexe : des milliards de transistors, des millions de portes logiques déployées pour le calcul et le contrôle, de grands blocs de mémoire, des blocs intégrés de fonctions préconçues conçues par des tiers (appelés "propriété intellectuelle" ou blocs IP). Comment parvient-on à concevoir ces puces complexes ? Réponse : une séquence d'outils de conception assistée par ordinateur (CAO) prend une description abstraite de la puce et l'affine progressivement jusqu'à la conception finale. Ce cours se concentre sur les principaux outils de conception utilisés dans la création d'un circuit intégré à application spécifique (ASIC) ou d'un système sur puce (SoC). Dans cette première partie du cours, nous nous concentrons sur les représentations logiques booléennes clés qui permettent de synthétiser et de vérifier la logique au niveau de la porte dans ces conceptions. Il s'agit de la première étape de la chaîne de conception, lorsque nous passons de la logique à la mise en page. Notre objectif est que les étudiants comprennent comment les outils eux-mêmes fonctionnent, au niveau de leurs algorithmes fondamentaux et de leurs structures de données. Les sujets abordés seront les suivants : L'algèbre booléenne computationnelle, la vérification logique et la synthèse logique (à 2 niveaux et à plusieurs niveaux). Expérience recommandée Expérience en programmation (C, C++, Java, Python, etc.) et connaissance de base des structures de données et des algorithmes (en particulier les algorithmes récursifs). Compréhension de la conception numérique de base : Algèbre booléenne, cartes kilométriques, portes et bascules, conception de machines à états finis. Algèbre linéaire et calcul au niveau d'un junior ou d'un senior en ingénierie. Une expérience de base en VLSI au niveau du premier cycle est appréciable, mais elle n'est pas nécessaire. Le cours restera autonome, mais les étudiants ayant des notions de VLSI pourront sauter une partie du matériel de base.e outils dans ce cours.