Séance de cours

Synthèse de haut niveau: circuits élastiques formellement vérifiés

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 (46)

Périphériques logiques programmables : PAL, GAL, CPLD

Couvre PAL, GAL, CPLD et la transition vers les FPGA en utilisant des HDL.

Transistors: Comprendre le comportement et les circuits

Explore les transistors, des concepts de base aux applications de circuit, en passant par les sources de courant, les amplificateurs, les suiveurs et les commutateurs.

Quantum et nanocomputing

Couvre le calcul quantique et le nanocalcul, en se concentrant sur les molécules en tant qu'éléments conducteurs, transistors moléculaires et éléments de couplage de champ.

Comprendre le multithreading simultané dans les processeurs modernes

Couvre le multithreading simultané, sa mise en œuvre et son impact sur les performances du processeur.

Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur

Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.

Électromagnétisme: Fondements et applications

Explore les bases de l'électromagnétisme, la loi d'Ohm, la loi de Lenz, et la loi de Faraday, éteignant la lumière sur les appareils électromagnétiques.

Génération d'une adresse IP CLK Generator (PLL) dans Vivado

Couvre le processus de génération d'une adresse IP Clock Generator (PLL) dans Vivado à l'aide de l'outil Clocking Wizard.

Boîte à outils de calcul ultra-faible puissance

Introduit le projet IcySoC, se concentrant sur le calcul ultra-faible puissance et les techniques informatiques approximatives pour l'efficacité énergétique et l'optimisation des performances.

VHDL pour Synthesis

Couvre les constructions VHDL de base pour la conception RTL, y compris l'arithmétique, les multiplexeurs, les registres et l'instanciation.

Vérification des compilateurs : défis et avantages

Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.

Fondements du logiciel

Couvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète et de la sémantique opérationnelle pour les booléens.

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.

Les défis de la synthèse de haut niveau : optimiser les constructions de boucles

Releve les défis de la synthèse de haut niveau et de l'optimisation des constructions de boucles en utilisant le modèle polyédrique pour améliorer les performances et la planification.

Conception numérique: Limites inférieures et recommandations

Couvre les niveaux d'abstraction, le flux de conception de l'EPFL, les limites inférieures et les recommandations de mise en page.

Débogage dans le système et IP AXI personnalisée

Couvre le débogage dans le système, le marquage des filets, la génération d'IP de débogage et la lecture à partir d'une IP AXI personnalisée.

Projet: Jeu vidéo

Couvre l'organisation, les objectifs, les idées de projet, l'amélioration graphique, les adaptateurs avancés et les interfaces alternatives pour un projet de jeu vidéo.

Arbiter FSM & FPGA Implémentation

Couvre la conception d'un Arbiter FSM en VHDL pour la conception de systèmes numériques, en mettant l'accent sur la gestion du temps d'accès.

La sémantique musicale : problèmes et perspectives

Explore la sémantique musicale, discute des inférences déclenchées par différents éléments musicaux et propose un cadre pour comprendre le sens de la musique.

Introduction au VHDL

Couvre les concepts de base VHDL, la structure du programme, les objets, les types, les opérateurs, les littéraux et les tableaux.

Semicustom RTL Design : Frontend avec Synthesis

Couvre les bases de la conception VLSI, en se concentrant sur le flux de conception semi-personnalisé.