Séances de cours associées à Keylock en VHDL et sur FPGA

Finite Automata: Bases

Introduit les bases des automates finis, y compris les types déterministes et non déterministes, les expressions régulières et les critères d'acceptation.

Expressions régulières (Récapitulatif)

Couvre les principes fondamentaux des expressions régulières et comprend des exercices sur la définition des langues.

Codage universel des sources

Couvre l'algorithme de codage universel Lempel-Ziv et les machines à états finis inversible dans la théorie de l'information.

Catastrophes et succès des logiciels : Impact de la vérification et systèmes de transition

Explore l'impact de la vérification des logiciels, les catastrophes, les succès et les systèmes de transition.

Circuits logiques séquentiels en VHDL

Couvre la modélisation des circuits logiques séquentiels en VHDL, y compris les processus, les instructions de contrôle, les tongs, les compteurs et les registres.

Circuits logiques programmables, FPGA

Explore la classification des circuits logiques, la méthodologie de conception FPGA, la mise en œuvre et l'architecture Altera Cyclone IV.

Expressions régulières en Automata

Explore la conversion d'expressions régulières en automates pour une classification efficace des caractères.

Des expressions régulières aux automatismes

Explore la transition des expressions régulières aux automates finis, couvrant la création de lexers, les différents types d'automates et les processus de conversion.

Arbiter FSM & FPGA Implémentation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la conception d'un Arbiter FSM en VHDL pour la conception de systèmes numériques, en mettant l'accent sur la gestion du temps d'accès.

Systèmes logiques : circuits séquentiels et combinatoires Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux des systèmes logiques, y compris les circuits séquentiels et combinatoires, les diagrammes détat et les machines détat fini.

Systèmes numériques: Flip-Flops, registres et compteurs Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit une vue d'ensemble des tongs, des registres et des compteurs dans les systèmes numériques.

Machines à états finis: bases et conception Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des machines à états finis, couvrant les bases, la conception et les applications pratiques telles que les décodeurs et les encodeurs.

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.

Machines à états finis: Techniques de conception et d'analyse Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.

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.

Digital Systems: Vue d'ensemble des machines à états finis Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les machines à états finis, leurs types, leurs structures et leurs applications pratiques dans les systèmes numériques.

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.

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

Explore les circuits logiques synchrones, les techniques de modélisation, la minimisation des états et l'optimisation des machines à états finis pour la réduction de surface.

Systèmes numériques : registres et compteurs Vue d'ensemble Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit une vue d'ensemble des registres et des compteurs dans la conception des systèmes numériques.

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.