Séance de cours

Systèmes logiques : circuits séquentiels et combinatoires

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

EE-110: Systèmes logiques (pour MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de synthèse de systèmelogiques sont étudiées et appliquée ...

Description

Cette séance de cours couvre les concepts fondamentaux des systèmes logiques, y compris les circuits séquentiels et combinatoires, les machines à états finis et la conception de diagrammes d'état. Les sujets abordés comprennent la structure de base des systèmes logiques, les diagrammes d'état, les éléments de mémoire, la logique de transition et la logique de sortie. La séance de cours se penche également sur les machines à états finis Medvedev et Moore, les tables de code, les tables de transition et l'importance de l'ordre des bits d'état. L'instructeur explique la conception et la mise en œuvre des machines à états finis Mealy, en se concentrant sur les tables de code, la logique de transition et la logique de sortie.

Enseignant·e

Alexandre Schmid

Enseignement et PhD A dirigé les thèses EPFL de Mahsa Shoaran, Wen-Yang Hsu, Reza Ranjandish, Keyvan Farhang Razi, Mohammad Javad Karimi A co-dirigé les thèses EPFL de Milos Stanisavljevic, Neil Joye, Vahid Majidzadeh Bafar, Hossein Afshari, Nikola Katic, Abdulkadir Akin Cours Analog circuits for biochip EE-518 Introduction à la conception analogique CMOS pour des biocapteurs à distance sur puce. Compréhension et la conception de systèmes de biocapteurs actifs et alimentés à distance. Compré

Source officielle

Proximité ontologique

Informatique théorique

Theory of computation: Théorie des automates

Électrotechnique

Ingénierie électronique: Électronique numérique

Concepts associés (32)

Combinational logic

In automata theory, combinational logic (also referred to as time-independent logic or combinatorial logic ) is a type of digital logic which is implemented by Boolean circuits, where the output is a pure function of the present input only. This is in contrast to sequential logic, in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has memory while combinational logic does not.

Système formel

Un système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Logique modale

En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.

Automate fini

thumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.

Afficher plus

Séances de cours associées (64)

Les machines à états finis : Medvedev vs. Moore vs. Mealy

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

Machines à états finis: bases et conception

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

Conception et synthèse FSM

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

Digital Systems: Vue d'ensemble des machines à états finis

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

Conception et synthèse FSM

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.

Afficher plus

Concepts associés (32)