Séance de cours

Analyse de testabilité : SCOAP Measures

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Séances de cours associées (64)

VLSI Basics: Conception et technologie

Couvre les bases de la conception VLSI, y compris la mise à l'échelle, la technologie, le fonctionnement MOSFET et la mise en œuvre du circuit logique.

Circuits logiques programmables, FPGA

Explore la classification des circuits logiques, la méthodologie de conception FPGA, la mise en œuvre et l'architecture Altera Cyclone IV.

Aperçu des systèmes numériques : évolution et intégration

Explore l'évolution des systèmes numériques, des transistors aux circuits intégrés, en mettant l'accent sur l'impact de la loi de Moore et du travail pratique du FPGA.

Contrôle multivariable: Conception du poids et analyse de stabilité

Explore la conception de poids et l'analyse de stabilité dans les systèmes de contrôle multivariables, en mettant l'accent sur la théorie Lyapunov et la stabilité LQR.

Systèmes logiques : bases et opérateurs

Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.

Preuves formelles: vérification des invariants et des modèles liés

Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.

Systèmes logiques : multiplexeurs et flip-flops

Explique les circuits de verrouillage SR, les verrous D, les bascules D, les signaux d'horloge et les multiplexeurs dans les systèmes logiques.

Contrôle et accessibilité

Explore l'accessibilité et la contrôlabilité dans les systèmes de contrôle multivariables, en discutant des essais, des épreuves et de leurs implications.

Conception RTL semi-personnalisée: flux de conception et cellules standard

Explore le flux de conception RTL, l'intégration au niveau de la puce, les cellules standard et l'analyse de synchronisation statique dans la conception VLSI.

Test des systèmes VLSI

Explore les défauts, les erreurs et les défaillances dans les systèmes VLSI, y compris les modèles de défaillance et les défis de test.

SR Latch et D Flip-Flop: Éléments de mémoire dans les systèmes logiques

Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.

Encodeurs prioritaires: Exemple et fonctionnement

Explique le fonctionnement des codeurs de priorité et fournit des exemples de codeurs de priorité à 8 entrées.

Systèmes finis exprimés avec des formules

Explore l'encodage des systèmes finis avec les fonctions booléennes, la logique propositionnelle, les invariants inductifs et les systèmes de preuve formels.

Contrôle multivariable: Stabilité et Théorèmes Lyapunov

Explore le contrôle multivariable, les lois optimales et les théorèmes de stabilité du système, soulignant l'importance de l'observabilité.

Observabilité et contrôlabilité

Explore l'observabilité et la contrôlabilité dans les systèmes linéaires, en soulignant l'importance du découplage des entrées pour l'observabilité.

Brush-up sur la conception électronique

Couvre la conception électronique, y compris l'analyse de sensibilité, les propositions, les composants matériels, les étapes du processus de conception, les architectures ADC, le SNR, la conception de circuits numériques et les marges de bruit.

Éléments séquentiels: Latchs et Flip-Flops

Explore les éléments séquentiels dans la conception VLSI, y compris les verrous, les bascules, le temps de configuration et le temps de maintien.

Conception de contrôle de l'état de l'espace

Explore la conception de contrôle de retour d'état complet, en se concentrant sur le placement des pôles et la conception linéaire de contrôleur d'état-feedback pour des systèmes comme un pendule.

Conceptions de chisel vérifiées de façon formelle

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Comment nous concevons les puces : le Digital VLSI Design Flow

Explore les principes et les méthodologies de conception des circuits intégrés, couvrant les flux de conception, les styles VLSI, les niveaux d'abstraction et l'écosystème des semi-conducteurs.