Machines séquentielles

Slides:



Advertisements
Présentations similaires
Révisions Logique séquentielle
Advertisements

La Logique séquentielle
Génie Logiciel 2 Julie Dugdale
« 1.7. Fonction mémoire et différents types de logiques »
« 1.5. Les fonctions logiques »
Calculs de complexité d'algorithmes
Algorithmique et évaluation
Systèmes en temps réel Modélisation du comportement en temps réel avec UML.
GEF 243B Programmation informatique appliquée Boucles §
GEF 243B Programmation informatique appliquée
XML - Henry Boccon-Gibod 1 XML, Langage de description La question du choix de formalismes Les entités et leur représentations modalités de modèles et.
Les circuits séquentiels
Algèbre de Boole Définitions :
Le jeu d ’instructions Introduction Un jeu d ’instruction classique
et évaluation des compétences
Fractions.
Les Compteurs A. Objectifs de la séquence:
Sequence Memorisation Unitaire
Initiation à la programmation et algorithmique cours 3
Traitement Co-Séquentiel: Appariment et Fusion de Plusieurs Listes
ISAT IS FORMATION EN AUTOMATION 1 / 13 SECTION AUTOMATIQUE 1 / 6.
PARTIE 3 : Le SYSTEME D’INFORMATION FUTUR
Cours Systèmes logiques
MACHINE DE MOORE SYNCHRONE SIMPLIFIÉE Professeur à l'UHP / ESIAL
44 Contrôle du déroulement du programme. 4-2 Objectifs A la fin de ce cours, vous serez capables de : Utiliser les constructions de prise de décision.
Cours #6 Conception d’unités de contrôle
Automates Programmables Industriels Automates Programmables
Python La structure itérative
(ref : Bray section pages 283 à 290)
Méthode des k plus proches voisins
Les Algorithmes Cryptographiques Symétriques
Cours #4 Éléments à mémoire et circuits séquentiels synchrones de base
Expression littérale  1) Définition
Équations Différentielles
Logique séquentielle.
Bascule RSH  Bascule JK
3.2 Circuits logiques de base
Mécanismes d'exécution et de communication
Le GRAFCET GRAphe Fonctionnel de Commande par Etapes et Transitions
UML Séquence 3 : (Diagramme d’activités)
1 Notations Asymptotiques Et Complexité Notations asymptotiques : 0 et  Complexité des algorithmes Exemples de calcul de complexité.
LA LOGIQUE ALGORITHMIQUE
SIMPLIFICATION DES EQUATIONS LOGIQUES
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Analyse de machines.
Chapitre 3 :Algèbre de Boole
Compteurs asynchrones
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Le problème du déphasage.
07/02/06 00:22 Yannick Herve, Wilfried Uhring, Jihad Zallat 1 Électronique Numérique Chapitre 4 Système séquentiel Analyse et synthèse, système asynchrone,
Rappel - analyse et synthèse de fonctions combinatoires
Chapitre 5 : Les circuits séquentiels
Chapitre 5 Test de circuits séquentiels
1 JEUX DE TESTS la méthode générale modèle de données critères fonctionnels d’extractions jeux de données jeux de données avant tests sélection exécution.
Logique séquentielle. Logique séquentielle Logique séquentielle Définition En logique combinatoire, le niveau de la sortie dépend directement du niveau.
2008/ Plan du cours 1.Introduction –Contenu du cours 2.Logique mathématique –Calcul propositionnel –Calcul des prédicats –Logique floue et aide à.
2.4 Le langage SFC - Un langage de description de systèmes séquentiels
1/16 Chapitre 3: Représentation des systèmes par la notion de variables d’état Contenu du chapitre 3.1. Introduction 3.2. Les variables d’état d’un système.
Machines à états finis.
LES TABLEAUX DE KARNAUGH
Ch2: Synthèse des systemes séquentiels par la méthode matricielle
Systèmes Logiques Chapitre 5: Les registres et les compteurs
A. Lebrun. Principe de base Dans la logique combinatoire, les sorties dépendent des différentes entrées et peuvent être calculées par l’algèbre de Boole.
Les bascules et registres
A.Lebrun. Principe des compteurs Les compteurs servent à mesurer le nombre d’impulsion qui arrivent sur l’entrée de comptage Les compteurs sont constitués.
L’électronique des ordinateurs Laurent JEANPIERRE IUT de CAEN – Campus 3.
1. Logique combinatoire vs Logique séquentielle
La Logique séquentielle ● Contrairement à la logique combinatoire elle permet de mémoriser des états binaires. ● Principe : ● Pour déterminer l'état présent.
Électronique Numérique
SYSTèMES à évènements discrets
Les réseaux logiques programmables
Transcription de la présentation:

Machines séquentielles Différence séquentiel-combinatoire Définitions Analyse des systèmes séquentiels asynchrones Machines séquentielles synchrones Méthode de synthèse des machines séquentielles synchrones 2001/2002 Cours électronique numérique LPA - A. Celeste

Séquentiel vs Combinatoire Système combinatoire: Les sorties ne dépendent que de la combinaison des valeurs appliquées aux entrées Système séquentiel: Les sorties dépendent de la valeur des entrées, mais également de la séquence des combinaisons précédentes et de l’état initial du système 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Combinatoire Les sorties ne dépendent que de la combinaison des valeurs appliquées aux entrées 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Séquentiel Les sorties dépendent des valeurs appliquées aux entrées, mais également de la séquence des combinaisons précédentes et de l’état initial du système 2001/2002 Cours électronique numérique LPA - A. Celeste

Mémoire des états antérieurs La mémoire des évènements antérieurs est codée dans un certain nombre de variables, bouclées à l’entrée du système. Celui-ci peut alors déterminer la valeur des sorties. 2001/2002 Cours électronique numérique LPA - A. Celeste

Asynchrone vs Synchrone Les sorties d’un système séquentiel asynchrone évoluent dès lors que l’on change l’une variables d’entrée du système. L’évolution des sorties d’un système séquentiel synchrone, n’est déclenchée que par un signal actif de synchronisation (horloge). 2001/2002 Cours électronique numérique LPA - A. Celeste

Système séquentiel asynchrone 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Machine de Moore 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Machine de Mealy 2001/2002 Cours électronique numérique LPA - A. Celeste

Analyse des systèmes séquentiels asynchrones 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Méthode d’analyse Identifier les variables internes (bouclages) Expressions logiques des fonctions d’excitation Table d’excitation Table d’Huffman Graphe de transitions 2001/2002 Cours électronique numérique LPA - A. Celeste

Cours électronique numérique LPA - A. Celeste Exemple 2001/2002 Cours électronique numérique LPA - A. Celeste

Machines séquentielles synchrones 2001/2002 Cours électronique numérique LPA - A. Celeste

Machines séquentielles synchrones 2001/2002 Cours électronique numérique LPA - A. Celeste

Synthèse des machines séquentielles synchrones Déterminer la liste des états distincts du système permettant de décrire son comportement séquentiel. Établir la table état-sortie. Établir la table de transitions. Établir la table d’excitation. Expression simplifiée des fonctions d’excitation et des fonctions de génération des sorties. Câblage et test. 2001/2002 Cours électronique numérique LPA - A. Celeste