Concept

Langage de description de matériel

Séances de cours associées (32)

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

Présente le développement d'un compilateur de synthèse de haut niveau vérifié pour les circuits élastiques.

Programmation FPGA avec Speedgoat: un aperçu complet

Couvre la programmation FPGA avec Speedgoat, en se concentrant sur la synthèse, les pratiques de conception et des exemples pratiques.

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.

Programmation FPGA avec Speedgoat : traitement du signal en temps réel

Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.

Matériel Description Langues

Explore l'histoire et l'importance des langages de description de matériel dans l'automatisation des processus de conception et la description du matériel parallèle.

Introduction au VHDL

Introduit VHDL, couvrant son histoire, ses caractéristiques clés, son système de bibliothèque, son entité, son architecture, ses signaux et ses types de données.

Des algorithmes aux architectures

Explore la transition des algorithmes aux architectures matérielles dans la conception de systèmes numériques, couvrant les architectures isomorphes, l'implémentation VHDL et les métriques d'efficacité matérielle.

Extensions d'ensemble d'instructions: Techniques de synthèse de haut niveau

Couvre les extensions de jeu d'instructions et les techniques de synthèse de haut niveau pour optimiser les processeurs embarqués.

PWM pour le contrôle de LED : Codage VHDL

Couvre la mise en œuvre de la modulation de largeur d'impulsion (PWM) pour le contrôle LED.

Circuits logiques numériques : CMOS et Verilog Design

Discute des circuits logiques numériques, de la technologie CMOS et de Verilog pour la conception de circuits.

Conception de systèmes numériques: Aperçu du cours

Couvre l'organisation, l'orientation, la méthodologie et les outils utilisés dans la conception des systèmes numériques.

Vérification du matériel en utilisant des langages de conception de haut niveau

Explore les défis en matière de vérification matérielle, de spécifications claires, de dommages spéculatifs et de sémantique précise du cycle.

Circuits logiques numériques : modélisation CMOS et Verilog

Discute des circuits logiques numériques, en se concentrant sur la technologie CMOS et les techniques de modélisation Verilog.

Vérification basée sur la simulation

Explore la vérification basée sur la simulation dans les systèmes VLSI à l'aide d'algorithmes basés sur le code compilé et les événements.

Tableaux de portes programmables sur le terrain (FPGA)

Couvre les principes de base et l'architecture des FPGA (Field Programmable Gate Arrays) et leurs options de mise en œuvre pour les circuits numériques.

Utiliser EMACS pour éditer VHDL

Couvre les bases de l'utilisation d'EMACS pour l'édition de code VHDL.

Machines à états finis (FSM)

Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.

VHDL pour la simulation et les bancs d'essai

Explore VHDL pour la simulation, le débogage, la modélisation temporelle, la simulation événementielle et la création de bancs d'essai dans la conception de systèmes numériques.

Interruptions parallèles de Port & Nios II

Couvre la conception d'une interface de port parallèle programmable pour un bus Avalon et l'architecture du processeur Nios II.

Systèmes de traitement transactionnel et analytique hybrides

Explore les défis de la combinaison des systèmes OLTP et OLAP dans un système unifié, en mettant l'accent sur la nécessité d'une gestion des ressources sensible aux interférences.