Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (49)

Systèmes logiques : Machines à états finis Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'algèbre booléenne, l'optimisation, les systèmes séquentiels et la conception de machines à états finis.

Conception de systèmes numériques: Aperçu du cours Connectez-vous à Mediaspace pour regarder cette vidéo

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

Circuits logiques numériques : CMOS et Verilog Design Connectez-vous à Mediaspace pour regarder cette vidéo

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

Circuits logiques numériques : les fondamentaux de la mémoire et du décodeur Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit une vue d'ensemble des circuits logiques numériques, en se concentrant sur les systèmes de mémoire et les décodeurs binaires, y compris leurs protocoles de fonctionnement et d'accès.

Portes logiques et élimination des dangers Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les portes logiques, l'élimination des risques, les ALU, les compteurs et les registres à décalage dans la technologie des semi-conducteurs.

Des algorithmes aux architectures Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Circuits numériques : Bases logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.

Machines à états finis (FSM)Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Circuits logiques numériques : modélisation CMOS et Verilog Connectez-vous à Mediaspace pour regarder cette vidéo

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

Tuyauterie de base Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la pipeline de base dans les circuits, améliorant le débit en divisant les emplois en sous-parties.

Conception et synthèse FSM Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les étapes de la conception FSM, y compris la transition et la création de table de code.

Conception et synthèse FSM Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la conception et la synthèse des machines à états finis dans les systèmes logiques.

Fondamentaux des systèmes numériques: logique séquentielle et éléments de mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les principes fondamentaux des systèmes numériques, en se concentrant sur la logique séquentielle et les éléments de mémoire tels que les verrous et les bascules.

Les machines à états finis : Medvedev vs. Moore vs. Mealy Connectez-vous à Mediaspace pour regarder cette vidéo

Comparaison des modèles Medvedev, Moore et Mealy FSM et de leurs structures.

Programmation FPGA avec Speedgoat : traitement du signal en temps réel Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Contrôle hiérarchique en robotique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les concepts de contrôle hiérarchique en robotique, y compris la commutation, la hiérarchisation et les chaînes d'information, pour atteindre des comportements robotiques complexes.

Quantum et nanocomputing Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes de conception numérique, les architectures ADC, les ADC basés sur FPGA, les figures de mérite et les limites inférieures de la conception numérique.

Caractéristiques de l'inverseur dynamique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le retard de l'onduleur, le dimensionnement, les capacités parasites et l'impact de l'appareil sur l'optimisation du retard dans les circuits numériques.

Éléments de mémoire dynamique: Latchs et Flip-Flops Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les éléments de mémoire dynamiques, les verrous, les bascules, les paramètres de synchronisation, le décalage d'horloge et la canalisation synchrone.

Génération d'une adresse IP CLK Generator (PLL) dans Vivado Connectez-vous à Mediaspace pour regarder cette vidéo

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

Page 2 sur 3