Chapitre 4 Logique Squentielle

2009/2010

CHAPITRE 4 La logique squentielle

56

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

1. Introduction Dans tout ce qui a t vu jusqu' maintenant, les sorties des systmes pouvaient toujours tre exprimes en fonction des entres. Dans les systmes squentiels, les sorties dpendent aussi de l'tat du systme. L'tat d'un systme volue en fonction des squences reues son entre, de son tat prsent et de son tat initial. Pour une mme combinaison d'entres, il est donc possible d'avoir plusieurs tats du systme et plusieurs combinaisons de sorties. La distinction entre les tats s'effectue au moyen de variables internes, dites variables d'tat. Logique combinatoire : la fonction t ne dpend que du vecteur dentres t. Pour certains systmes plus complexes : Le Un appui sur un bouton allume la lumire un deuxime appui lteint Une impulsion dmarre les essuie-glaces qui sarrtent en position de repos mme vecteur dentre donne deux tats de sortie diffrents ce qui nest pas ralisable en

combinatoire. Il faut que le systme dispose dautres informations. Le systme calcule lui-mme son tat courant. Exemple : le systme calcule si cest la premire ou la deuxime fois quon appuie sur le bouton.

n fct. combi. fct. combi. m

Sortie = fct combi. vecteur dentre de n+m variables

Reprsentation symbolique :

n fct. combi. m

Sortie

La sortie est une fonction squentielle des entres E. Les sorties secondaires sont appeles variables internes : Dans les systmes squentiels, les sorties dpendent aussi de l'tat du systme.

57

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

L'tat d'un systme volue en fonction des squences reues son entre, de son tat prsent et de son tat initial. Il est donc impossible de dcrire le systme analytiquement par une expression boolenne. Pour une mme combinaison d'entres, il est donc possible d'avoir plusieurs tats du systme et plusieurs combinaisons de sorties. La distinction entre les tats s'effectue au moyen de variables internes, dites variables d'tat. 2 Dfinitions 2.1 Notion de stabilit Les machines squentielles sont des circuits o l'tat actuel des variables dpend de la squence de leurs tats antrieurs. Les squences sont caractrises par une phase d'instabilit avant d'atteindre l'tat stable final de l'tape. Exemple Le circuit suivant est dans son tat initial A = Y = 0:

L'tat initial est stable. Une transition de A vers 1 entrane un tat instable pendant le temps t o Y = 1 et y = 0. Au moment o y devient 1, le systme est stable. Une transition de A vers 0 n'affecte pas le circuit qui reste dans un tat stable o y = 1.

58

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

2.2 tat L'tat d'une machine squentielle est une combinaison d'tats logiques de variables internes en contre-raction ayant une valeur particulire. Cette valeur peut, ou non, avoir une signification particulire haut niveau. Par exemple, il est possible de dfinir au moins trois tats pour un four micro-onde contrle numrique: 1. Programmation; 2. Activation; 3. Attente. 2.3 Forme gnrale Les machines squentielles peuvent tre spares en deux grandes catgories: les machines de Mealy et les machines de Moore. Les deux machines fonctionnent sensiblement de la mme faon au niveau des tats et de leurs transitions. La diffrence se situe au niveau des sorties o les sorties des machines de Mealy dpendent la fois des entres et des tats tandis que les sorties des machines de Moore ne dpendent que des tats. La figure 6.2 montre la forme gnrale des circuits squentiels.

3 Systmes asynchrones Les machines asynchrones ont la particularit de changer d'tat lors d'une variation sur les entres. Si les entres demeurent stables, le systme demeurera dans le mme tat. La mmoire d'tat tel que reprsent la figure 6.2 est faite par un circuit de dlai. Le systme est stable lorsque la valeur avant et aprs le dlai sont identiques (l'tat et l'excitation sont gaux).

59

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

3.1 Analyse dun systme sequentiel La mthode de Huffman d'analyse des machines squentielles consiste laborer une table de Karnaugh partir des quations du circuit analyser. Les tats stables y sont identifis par la correspondance entre les tats d'excitation et leurs effets. Voici une liste complte des tapes pour l'analyse des circuits squentiels asynchrones: Par inspection du diagramme dun systme existant, on crit la fonction dexcitation de chaque variable dtat. On dispose chaque fonction dans une table de Karnaugh: les colonnes sont dsignes par des combinaisons de variables dentre, et les lignes, par des combinaisons de variables dtat. Une table dexcitation est confectionne en fusionnant les tables ainsi obtenues, en groupant dans chaque fentre les excitations de toutes les variables dtat. Les tats stables sont identifis (excitation = tat) et encercls pour les mettre en vidence. La table dexcitation permet de dterminer le comportement dtaill du systme et de statuer sur son caractre prvisible ou alatoire. II est habituellement utile dassocier des noms ou des nombres dcimaux aux tats stables et instables. On peut illustrer le comportement du systme par une table de transitions ou un diagramme de transitions dtats. Exemple : Analyser le circuit suivant:

Soit S0 reprsentant l'tat initial de la sortie S, l'quation du circuit est:

En utilisant la loi de Morgan, l'quation peut tre crite sous cette forme:

En reprsentant cette quation dans une table de Karnaugh, on obtient:

60

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

Il faut ensuite identifier les tats stables o la fonction S est gale S0. Les tats stables sont identifis en les encerclant.

Cette table permet aisment de voir quels sont les tats stables du circuit et nous renseigne sur la faon d'effectuer les changements. Par exemple, avec S0=0, A = B = 0, si on veut S = 1, on doit changer l'tat de B. Le circuit se stabilisera S0 = 1, A = 0 et B = 1.

En remettant B = 0, le circuit demeure dans un tat stable avec S = 1 car l'tat S0 = 1, A=B=0 est aussi un tat stable. Pour replacer la sortie 0, il faut poser A = 1 pour que le circuit se stabilise S0 = 0, A = 1 et B = 0.

61

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

4 Synthse dun systme squentiel Un rseau squentiel asynchrone comprend un ensemble d'lments de mmoire qui ne tombe pas sous la commande dune horloge unique. La mthode dHuffman a t formule dans le but de concevoir un rseau squentiel de ce type qui rencontre toutes les contraintes dfinies dans ses spcifications en ncessitant un minimum de composants. Si la synthse est le processus inverse de 1analyse dcrite la section prcdente, il demeure une ncessit d'ajouter des tapes en raison du nombre dinconnus, dont le nombre dlments de mmoire requis pour supporter la fonction spcifie. La mthode est prsente par tape et illustre par un exemple. tapes 1- A partir des spcifications, on crit une table de squences primaire pour dcrire de faon primitive, lvolution du systme pour toutes les squences des variables dentre. On dfinit dans cette table les tats du systme en fonction des squences des variables d'entres. Les combinaisons de variables d'entres dsignent les colonnes de la table. On juxtapose une colonne pour chaque sortie. chaque ligne de cette table, on ne dfinit qu'un seul tat stable auquel correspond l'tat des sorties. On inscrit dans la table toutes les squences qui sont possibles compte tenu des contraintes imposes par les spcifications du systme. On crit la table sans squences redondantes en exploitant les tats stables dj dfinis dans les lignes antrieures. 2-On rduit le nombre de lignes de cette table primaire au moyen dun diagramme de fusionnement pour obtenir une table fusionne. Le nombre de variables d'tat sera ainsi minimis. On peut fusionner deux lignes de la table primaire pourvu que les noms soient quivalents dans chacune des colonnes. Les tats facultatifs peuvent tre fusionns avec n'importe quel tat. La ligne rsultante conserve, dans l'ordre, les tats stables, les tats instables et les tats facultatifs. On dessine un diagramme de fusionnement pour optimiser le systme de faon mthodique. Un noeud correspond une ligne de la table primaire, un arc indique un fusionnement possible entre deux lignes. Un ensemble de points compltement interconnects correspond une seule ligne de la table fusionne. 62
ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

3- On effectue une tude des transitions du systme et on associe une combinaison des variables dtat chaque ligne de la table fusionne. 4- En appliquant le concept de stabilit, la table prcdente est convertie en binaire et elle devient une table d'excitation. ce stade, on produit lexpression logique des sorties du systme. 5. La table dexcitation est dcompose en tables de Karnaugh et on crit lexpression logique de l'excitation correspondant chaque variable dtat. 6. On dessine le diagramme selon la convention et la technique choisie. Chaque tape implique des oprations et des rgles suivre qui sont dcrites dans la ralisation du systme ci-aprs. Exemple On doit concevoir une machine ayant 2 entres X1 et X0, et une sortie Z. Les relations entres/sorties sont spcifies comme suit: Les entres X1 et X0 ne peuvent changer dtat simultanment. La sortie prend ltat Z = 1 si X1 = X0 = 1 si la squence des entres est la suivante:X1X0= 00, 10, 11 La sortie conserve ltat Z = 0 pour tout autre squence des entres X1X0. tape 1: Tableau des squences primaires Le tableau de primaire constitue une premire description des relations entres/sorties. Dans ce tableau, on doit: dcrire toutes les squences possibles des entres chaque ligne du tableau doit contenir un seul tat stable; par consquent, il existe autant de lignes au tableau que dtats stables. Le tableau est constitu de colonnes correspondant aux tats des entres et aux sorties. Sur chaque ligne, on dfinit un tat stable et des tats instables auxquels on accde par des changements des variables dentre. Pour chaque tat stable, on dfinit ltat des sorties. Les tats stables sont indiqus par des chiffres encercls et les tats instables, par des chiffres simplement. Les tats impossibles sont indiqus par des "-". Voici le tableau primaire relatif 1exemple.

Remarque: 63
ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

Il est important de dfinir un nombre minimum de lignes. On y parvient en utilisant un tat stable existant lors de lentre dans une colonne, pourvu que la sortie soit conforme aux contraintes des spcifications. tape 2: Diagramme de fusionnement On confectionne le diagramme de fusionnement pour rduire au minimum le nombre de lignes dfinies dans le tableau primaire. Pour ce faire, il faut respecter les rgles suivantes: on fusionne deux lignes si les nombres sont identiques dans les colonnes correspondantes; les tats impossibles "-" permettent la fusion avec n'importe quel nombre; lors d'une fusion, on conserve, dans l'ordre, les tats stables, les tats instables et les tats impossibles. Pour visualiser les simplifications apportes par cette opration, on reprsente d'abord chaque ligne du tableau primaire par un point identifi par le numro de la ligne. Un trait est ajout entre les points correspondant aux lignes qu'il est possible de fusionner. Lorsqu'un groupe de points sont tous interconnects entre eux, il est possible de fusionner toutes les lignes correspondantes en une seule. La figure 6.4 montre le diagramme de fusionnement de cet exemple.

Diagramme de fusionnement Ce diagramme de fusionnement rsulte du tableau primaire relatif au problme dj amorc. On obtient un tableau fusionn trois lignes (a, b, c) o (a) est la fusion des lignes 1 et 2 et (c) est la fusion des lignes 4, 5 et 6. La ligne (b) est identique la ligne 3 puisqu'elle n'a pas t fusionne.

64

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

Remarques: Puisque plusieurs lignes ont t fusionnes, il est normal d'avoir plusieurs tats stables par ligne. On ne se proccupe pas des sorties ce stade de la synthse. tape 3: Reprsentation des tats secondaires. Chaque ligne du tableau fusionn doit tre reprsent par un ensemble de variables d'tats. N variables d'tats peuvent reprsenter 2N lignes de tableau fusionn. De plus, une tude des transitions est requise pour dterminer les alas ou courses. Le choix des tats reprsentant les lignes doit tre effectu en minimisant le nombre de changements simultan des variables d'tat. Le tableau fusionn prcdent a t rduit trois lignes, 2 variables d'tats seront suffisantes puisqu'elles permettent de reprsenter 4 lignes. Il reste associer les lignes a, b et c une combinaison de variables d'tats Y1 et Y0. Pour ce faire, voici un diagramme des transitions possible dessin partir du tableau fusionn.

Diagramme des transitions. Le tableau indique que le systme peut passer de la ligne (a) la ligne (b), de (b) (c), de et de (a) (c). En associant Y1Y0 = 00 (a) et Y1Y0 = 01 (b), cette transition implique le changement d'une seule variable, ne crant pas d'ala. Si la ligne (c) correspond Y1Y0 = 11, le transfert de (b) (c) ne reprsente pas d'ala lui non plus. Il y a des alas lorsque le systme passe de (a) (c) et de (c) (a) car Y1Y0 tente de passer de (00) (11) ou l'inverse. En ralit, les variables d'tats passeront par 10 ou 01 puisqu'il est impossible que les deux variables changent 65
ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

d'tat simultanment. Il faut donc tenir compte de ces tats intermdiaires et le tableau avec reprsentation des tats secondaires devient:

tape 4: Dfinition des excitations. partir du moment o on a dfini les tats secondaires, on peut revenir la reprsentation binaire des excitations et les dcrire analytiquement. Cest galement un bon endroit pour retrouver la sortie dfinie pour les 6 tats stables. Le tableau prcdent devient:

Tableau d'excitation complet. La table reprsentant la sortie est remplie de conditions facultatives tous les tats instables, ce qui permet. dcrire pour la sortie:

Remarque: La prsence de conditions facultatives de la sortie correspondant aux tats instables du systme est un choix du concepteur. Elle mne une expression plus simple de la sortie Z. L'inconvnient qu'il faut attendre en retour est la prsence dimpulsions courtes sur la ligne de

66

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

sortie si le systme passe par ces tats instables. Il incombe au concepteur de juger de la pertinence de cette dcision. On peut dcrire l'excitation des lments du systme avec le tableau prcdent. Il faut le subdiviser en autant de tables qu'il existe d'lments dans le systme. Le systme comporte deux lments de mmoire: Y1 et Y0.

Synthse des variables d'tats. Ces deux tables permettent d'crire:

Remarque: Le terme entre parenthses correspond un impliquant redondant, montr en pointill. S'il n'est pas essentiel, d'un point de vue pratique, il contribue rendre le systme prvisible. Lorsqu'on veut passer d'un tat stable un autre, on est certain d'viter un comportement imprvisible si les changements l'tats s'effectuent l'intrieur d'un impliquant. tape 5: Dessin du schma. partir des expressions qui dcrivent les relations logiques entre les lments du systme, il est possible de dessiner le schma de ce dernier.

67

ENSA SAFI

Chapitre 4 Logique Squentielle

2009/2010

Remarques: Il faut toujours rgler les courses et les erreurs momentanes pour rendre un systme squentiel utilisable. On peut les rgler de diverse faon selon les possibilits: En dfinissant un tat intermdiaire instable. Par une dfinition approprie des tats secondaires et des excitations non dfinies. En retournant au diagramme de fusionnement. En dernier recours, ajouter un tat secondaire. Les impliquants redondants rendent un rseau plus prvisible dans certains cas. On peut permuter des lignes du tableau de squences primaires fusionn lorsque celui-ci utilise encore des symboles.

68

ENSA SAFI