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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Page 3 sur 4

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é.

Sémantique dans le traitement du langage informatique: comprendre le sens

Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.