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

Conception et synthèse FSM

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (43)

Systèmes logiques ascenseurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les systèmes logiques d'ascenseur, y compris l'analyse du comportement, les fonctions logiques, les verrous SR et les verrous de réinitialisation.

Mathématiques discrètes: Logique & Structures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.

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 en utilisant des minterms, des maxterms et de nouvelles portes comme XOR et XNOR.

Systèmes logiques : multiplexeurs et flip-flops Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les circuits de verrouillage SR, les verrous D, les bascules D, les signaux d'horloge et les multiplexeurs dans les systèmes logiques.

SR Latch et D Flip-Flop: Éléments de mémoire dans les systèmes logiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.

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

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.

BJT vs FET Opération Connectez-vous à Mediaspace pour regarder cette vidéo

Compare le fonctionnement BJT et FET dans les systèmes logiques, discute des technologies TTL vs CMOS et explore la fonctionnalité Set-Reset Latch.

Systèmes logiques : Karnaugh Maps et TTL Gates Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les cartes Karnaugh, les portes TTL, les aspects analogiques de la logique numérique et les principaux impliqués.

Logique principale : quantificateurs et formulaires normaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

Cartes Karnaugh: Techniques de regroupement Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les cartes de Karnaugh, les règles de regroupement et la logique des transistors dans les systèmes logiques.

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.

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.

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.

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.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Logic Gates et la technologie IC Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mise en œuvre de portes logiques dans le matériau semi-conducteur, en se concentrant sur les technologies TTL et CMOS, les circuits intégrés, les dangers, les horloges, les bascules D et le débouncing des commutateurs.

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.

Exhaustivité du LP Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exhaustivité de LP, en discutant des implications des conditions mathématiques et de la convergence des séries.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Page 2 sur 3