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

Circuits logiques synchrones : modélisation et optimisation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

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.

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 séquentiels : Optimisation et Retiming Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les modèles structurels, les approches de synthèse et les techniques de retiming pour les circuits séquentiels.

Adder complet: Logique d'ajout binaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explique le rôle de l'additionneur complet dans l'addition binaire et sa conception à l'aide de transistors.

Circuits Séquentiels : Synthèse et Retiming Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le modèle structurel pour les circuits séquentiels, les réseaux logiques synchrones et les approches de synthèse séquentielle, y compris le retiming.

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.

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.

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

Couvre la conception et la synthèse des machines à états finis, en mettant l'accent sur l'exhaustivité, la cohérence et les états fantômes.

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.

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

Page 2 sur 2