Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Machines à états finis (FSM)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (41)

Programmation FPGA avec Speedgoat: un aperçu complet Connectez-vous à Mediaspace pour regarder cette vidéo

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

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

Couvre le traitement du signal numérique, la logique binaire et booléenne, et des exemples pratiques de circuits numériques.

Synthèse logique : Concevoir des circuits numériques efficaces Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.

Circuits logiques synchrones : modélisation et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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.

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.

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.

VHDL pour la simulation et les bancs d'essai Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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

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.

Plus de VHDL pour la synthèse: déclarations séquentielles et processus Connectez-vous à Mediaspace pour regarder cette vidéo

Explore VHDL pour la synthèse, en mettant l'accent sur les déclarations et les processus séquentiels.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

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.

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.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Analyse de synchronisation : conception de circuits synchrones Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse temporelle des circuits synchrones, en se concentrant sur les bascules, les contraintes temporelles et les problèmes de métastabilité.

Algorithme de Shor : circuit quantique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre de l'algorithme de Shor sur un circuit quantique, y compris l'analyse de la transformation quantique de Fourier.

Demande de priorité purement fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les files d'attente prioritaires purement fonctionnelles, l'implémentation Scala, l'intégration Inoxydable, les propriétés d'exploitation et les files d'attente binomiales.

Page 2 sur 3