Transcript CORRECTION PARKING AUTOMATIQUE

ROYAUME DU MAROC
MINISTERE DE L’EDUCATION
NATIONALE
Académie de Casablanca
DÉLÉGATION DE MOHAMMEDIA
Lycée Technique Mohammedia
Matière :
Science de l’Ingénieur – A.T.C -
Pr.MAHBAB
Section :
Sciences et Technologies Électriques
Système n°5
CORRECTION
 Sujet :
PARKING AUTOMATIQUE
08 pages
 Exercices d’application:
♦ Fiche cours n°22 « EEPROM DU 16F84 »
01 page
 2 TD:
♦ TD n°8 « Partition d’un GRAFCET
et notion de Tâche »
♦ TD n°9 « Programmation des PLD »
09 pages
Nombre de pages :
19
CLASSES : 2 STE
Page
1/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 01
GRAFCET point de vue partie commande
0
Cp := 0
Cp=0
1
Cp = 50
H3 := 1
Cp < 50
H3 := 0
B2
B1. (U1 + U2). (Cp<50)
2
KM1
5
KM1
H1
H1
S1
S1
H2
3
H2
6
B1
B2
4
T1
7
Cp := Cp + 1
T1
Cp := Cp - 1
T1/X4/10s
T1/X7/10s
Tâche 2
Tâche 1
8
KM2
H1
S2
Page
2/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 02
GRAFCET point de vue partie commande codé PIC 16 F 84
0
Cp := 0
Cp=0
1
Cp = 50
RB0 := 1
Cp < 50
RB0 := 0
RB2
RB1. RB5. (Cp<50)
2
RA0
5
RA0
RA2
RA2
RB3
RB3
3
RA3
6
RA3
RB1
RB2
4
T1
7
Cp := Cp + 1
T1
Cp := Cp - 1
T1/X4/10s
T1/X7/10s
Tâche 2
Tâche 1
8
RA1
RA2
RB4
Page
3/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 03
Partition du GRAFCET global (P.C)
GRAFCET Tâche 1
10
GRAFCET Tâche 2
Ouvrir barrière
et allumer vert
20
X2
11
X3
21
KM1
KM1
H1
H1
S1
S1
12
22
H2
H2
B2
B1
13
23
T1
T1
Cp := Cp + 1
Cp := Cp - 1
T1/X13/10s
T1/X23/10s
14
24
/X2
/X3
GRAFCET PRINCIPAL
Cp := 0
0
Cp=0
Cp = 50
H3 := 1
1
Tâche 2
3
Tâche 1
X14
Fermer barrière
H3 := 0
B2
B1. (U1 + U2). (Cp<50)
2
Cp < 50
X24
4
KM2
S2
H1
Page
4/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
CORRECTION
DREP 04
Sous programme ouvrir_Barrière
Ouvrir_barrière
Organigramme
Programme
RA0  1
RA2  1
Ouvrir_barriere
Non
RB3 = 1
LAB5
……………
……………
RA0  0
BSF
BSF
BTFSS
GOTO
BCF
BCF
BSF
RETURN
PORTA, 0
PORTA, 2
PORTB, 3
LAB5
PORTA, 0
PORTA, 2
PORTA, 3
RA2  0
RA3  1
Retour
Sous programme fermer_Barrière
Fermer_barrière
Organigramme
Programme
RA1  1
RA2  1
Fermer_barriere
Non
RB4 = 1
……………
……………
RA1  0
RA2  0
Retour
LAB6
BSF
BSF
BTFSS
GOTO
BCF
BCF
RETURN
PORTA, 1
PORTA, 2
PORTB, 4
LAB6
PORTA, 1
PORTA, 2
Correction
A.T.C
Page
5/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 05
Sous programme Lecture_EEPROM
Lecture_EEPROM
MOVLW
MOVWF
BSF
BSF
BCF
MOVF
MOVWF
0x02
EEADR
STATUS, RP0
EECON1, RD
STATUS, RP0
EEDATA, W
Cp
RETURN
;
; l’adresse à lire
; Bank 1
; lecture EPROM
; Bank 0
; EEDATA dans W
; W dans Cp
;
Sous programme Ecriture_EEPROM
Ecriture_EEPROM
LAB7
MOVLW
MOVWF
MOVF
MOVWF
BSF
BSF
MOVLW
MOVWF
MOVLW
MOVWF
BSF
BTFSS
GOTO
0x02
EEADR
Cp, W
EEDATA
STATUS, RP0
EECON1, WREN
0x55
EECON2
0xAA
EECON2
EECON1, WR
EECON, EEIF
LAB7
BCF
BCF
RETURN
EECON, EEIF
STATUS, RP0
;
; définition de l’adresse
;
; définition de la donnée
; Bank 1
; autorisation de l’écriture
;
; écriture de 0x55
;
; écriture de 0xAA
; écriture dans EEPROM
;
; écriture terminée
; remise à zéro du témoin EEIF
; Bank 0
;
Sous programme TEMPO
TEMPO
LAB8
MOVLW
MOVWF
BTFSS
GOTO
D’100’
TMR0
INTCON, TOIF
LAB8
BCF
RETURN
INTCON, TOIF
; doit compter 156 impulsions
; écriture de 100
; fin de comptage
;
; remise à zéro du témoin TOIF
;
Page
6/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
CORRECTION
DREP 06
Organigramme à compléter
Début
Configuration du PIC
RB0  0
PORTA  00H
Lecture_EEPROM
Oui
RB1 = 1
……………
……………
Non
Non
RB2 = 1
……………
……………
Oui
……………
……………
Cp = 50
Oui
Ouvrir_barrière
RB1 = 1
Non
RB5 = 1
Non
……………
……………
RA3  0
……………
……………
Non
Ouvrir_barrière
RB2 = 1
……………
……………
Cp  Cp - 1
RA3  0
Ecriture_EEPROM
RB0  1
RB0  0
Tempo 10 s
Fermer_barrière
Oui
Tempo 10 s
Cp  Cp + 1
Non
Correction
A.T.C
Page
7/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 07
Programme à compléter
Initialisation du PIC 16 F 84
BSF
MOVLW
MOVWF
MOVLW
MOVWF
MOVLW
MOVWF
BCF
STATUS, 5
B’00001000’
TRISA
B’00111110’
TRISB
B’00110101’
OPTION
STATUS, 5
; accès à la BANK 1
;
; configuration du PORTA
;
; configuration du PORTB
;
; configuration du TIMER 0
; accès à la BANK 0
Programme principal
DEBUT
SORTIE
LAB1
ENTREE
LAB2
LAB3
LAB4
CLRF
CALL
BTFSS
GOTO
GOTO
BTFSS
GOTO
CALL
BTFSS
GOTO
BCF
CALL
DECF
GOTO
BTFSS
GOTO
MOWLW
SUBWF
BTFSS
GOTO
BSF
GOTO
BCF
CALL
BTFSS
GOTO
BCF
CALL
INCF
CALL
CALL
GOTO
END
PORTA
Lecture_EPROM
PORTB, 1
SORTIE
ENTRÉE
PORTB, 2
DEBUT
Ouvrir_barriere
PORTB, 1
LAB1
PORTA, 3
TEMPO
Cp, 1
LAB4
PORTB, 5
DEBUT
D’50’
Cp, W
STATUS, Z
LAB2
PORTB, 0
DEBUT
; moteur et voyants au repos
; nombre de véhicule dans Cp
; test si entrée
;
;
; test si sortie
;
; ouvrir la barrière
; test si véhicule est sortie
;
; éteindre vert
; Temporisation T1
; décrémenter compteur
;
;
;
;
;
;
;
;
;
test si autorisation
comparer Cp et 10
saut si Cp = 10
parking disponible
allumer jaune
parking complet
PORTB, 0
; éteindre jaune
Ouvrir_barriere ; ouvrir la barrière
PORTB, 2
; test si véhicule est entré
LAB3
PORTA, 3
TEMPO
Cp, 1
Fermer_barriere
Ecriture_EPROM
DEBUT
;
; éteindre vert
; Temporisation T1
; incrémenter compteur
; fermer la barrière
; enregistrer compteur
;
; directive de fin de programme
Page
8/8
Système
n°5
PARKING AUTOMATIQUE
Classe : 2STE
Lycée Technique Mohammedia
Prof : MAHBAB
Correction
A.T.C
CORRECTION
DREP 08
Décodeur BCD/7 segments par le GAL 16V8
A
B
C
D
18
2
Décodeur BCD/7
segments par le
GAL 16V8
3
4
17
16
15
14
13
5
12
a
b
c
d
f
e
f
e
a
g
d
b
c
g
Programme ‘ABEL’
MODULE BCD
TITLE ‘Décodeur BCD 7 segments '
DECLARATIONS
BCD device ‘P16V8;
// PLD à programmer
A, B, C, D pin 2, 3, 4, 5 ;
// Variables d'entrée
a, b, c, d, e, f, g pin 18, 17, 16, 15, 14, 13, 12
istype ‘com,buffert’ ;
// Variables sortie
N = [D, C, B, A] ;
// Définition du bus N
S = [a, b, c, d, e, f, g] ;
EQUATIONS
When N = 0 THEN S = [1, 1, 1, 1, 1, 1, 0] ELSE
When N = 1 THEN S = [0, 1, 1, 0, 0, 0, 0] ELSE
When N = 2 THEN S = [1, 1, 0, 1, 1, 0, 1] ELSE
When N
When N
When N
When N
When N
When N
= 3 THEN
= 4 THEN
= 5 THEN
= 6 THEN
= 7 THEN
= 8 THEN
S = [1, 1, 1, 1, 0, 0,
S = [0, 1, 1, 0, 0, 1,
S = [1, 0, 1, 1, 0, 1,
S = [1, 0, 1, 1, 1, 1,
S = [1, 1, 1, 0, 0, 0,
S = [1, 1, 1, 1, 1, 1,
When N = 9 THEN S = [1, 1, 1, 1, 0, 1, 1];
TEST_VECTORS
(N -> [a, b, c, d, e, f, g])
0 -> [1, 1, 1, 1, 1, 1, 0] ;
1 -> [0, 1, 1, 0, 0, 0, 0] ;
END BCD.
2 -> [1, 1, 0, 1, 1,
3 -> [1, 1, 1, 1, 0,
4 -> [0, 1, 1, 0, 0,
5 -> [1, 0, 1, 1, 0,
6 -> [1, 0, 1, 1, 1,
7 -> [1, 1, 1, 0, 0,
8 -> [1, 1, 1, 1, 1,
9 -> [1, 1, 1, 1, 0,
0, 1] ;
0, 1] ;
1, 1] ;
1, 1] ;
1, 1] ;
0, 0] ;
1, 1] ;
1, 1] ;
// Définition du bus S
1] ELSE
1] ELSE
1] ELSE
1] ELSE
0] ELSE
1] ELSE
Page
1/1
Correction
F.cours n°22
Parking Automatique
Classe : 2STE
EEPROM DU 16 F 84
Prof : MAHBAB
Lycée.T
Mohammedia
EEPROM DU 16 F 84
Ecriture et lecture de l’EEPROM :
Lecture d’une donnée :
 Placer l’adresse de la donnée à lire dans EEADR.
 Mettre le bit RD de EECONN1 à 1.
 Lire le contenu du registre EEDATA.
BCF
MOVLW
MOVWF
BSF
BSF
BCF
MOVF
STATUS, RP0
Adresse
EEADR
STATUS, RP0
EECON1, RD
STATUS, RP0
EEDATA, W
;
;
;
;
;
;
;
Bank 0
l’adresse à lire
Bank 1
lecture EPROM
Bank 0
W  EEDATA
Ecriture d’une donnée :
Placer l’adresse de la donnée à écrire dans EEADR.
Placer la donnée à écrire dans EEDATA.
Mettre le bit WREN de EECONN1 à 1 pour autoriser l’écriture.
Placer 0x55 dans EECON2.
Placer 0xAA dans EECON2.
Mettre le bit WR de EECONN1 à 1.
Attendre que le bit EEIF soit à 1.
On peut utiliser l’interruption produite par EEIF en la validant par le bit EEIE de
INTCON.
 N’oublier pas de remettre EEIF à 0.








Lab
BCF
MOVLW
MOVWF
MOVLW
MOVWF
BSF
BSF
MOVLW
MOVWF
MOVLW
MOVWF
BSF
BTFSS
GOTO
BCF
STATUS, RP0
Adresse
EEADR
Donnée
EEDATA
STATUS, RP0
EECON1, WREN
0x55
EECON2
0xAA
EECON2
EECON1, WR
EECON, EEIF
Lab
STATUS, RP0
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
Bank 0
définition de l’adresse
définition de la donnée
Bank 1
autorisation de l’écriture
écriture de 0x55
écriture de 0xAA
écriture dans EEPROM
écriture terminée
Bank 0
Page
1/2
Parking Automatique
Classe : 2STE
Correction
TD n°8
PARTITION D’UN GRAFCET
Prof : MAHBAB
Lycée.T
Mohammedia
PARTITION D’UN GRAFCET
Coordination Verticale asynchrone :
GRAFCET n°1 :
Le GRAFCET n°1 contient une séquence répétitive. On veut réécrire ce GRAFCET d’une
manière simplifiée en considérant la séquence répétitive comme une tâche (sous programme)
intitulée SP. Compléter le GRAFCET principal et le GRAFCET de tâche SP.
0
Dcy
KM1
1
a
SP
2
X23
20
KM2
3
X2 + X5 + X9
KM3
4
c
L10
X23
L11
23
14 M2
6
12 M1
22
SP
5
14 M1
21
b
X3 + X6 + X10
L20
12 M2
7
GRAFCET de tâche SP
L21
KM4
8
d
SP
9
X23
KM5
10
e
GRAFCET principal
GRAFCET n°2 :
On veut réécrire le GRAFCET n°2 d’une manière simplifiée. Compléter le GRAFCET
principal et les GRAFCETS de tâche 1, 2 et 3.
Page
2/2
Correction
TD n°8
Parking Automatique
Classe : 2STE
PARTITION D’UN GRAFCET
Prof : MAHBAB
20
10
L20
a
Dcy
1
22
14 M1
12
T1
2
L30
L11
X26
3
T3
d
14 M4
32
L40
KM4
33
e
12 M4
KM3
25
c
15
KM4
31
34
L31
b
X35
X3
12 M3
24
KM2
14
14 M3
23
12 M1
13
T2
12 M2
L21
L10
X15
14 M2
21
KM1
11
0
30
X2
X1
L41
35
26
X2
Lycée.T
Mohammedia
X0
X3
GRAFCET principal
Tâche 1
Tâche 2
Tâche 3
Coordination Horizontale :
On veut réécrire ce GRAFCET n°2 d’une manière simplifiée. Compléter les GRAFCETS
Tâche 1, 2 et 3.
10
0
X5
Dcy
KM1
1
12 M1
KM2
L41
KM3
15
12 M4
24
L31
b
25
c
X25
16
Tâche 1
e
12 M3
14
KM4
23
L30
L11
5
L40
14 M3
13
14 M4
22
L21
L10
4
d
12 M2
12
KM4
21
L20
14 M1
3
X16
14 M2
11
a
2
20
X0
X0
Tâche 2
Tâche 3
Page
1/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
PROGRAMMATION DES PLD
Prof : MAHBAB
Lycée.T
Mohammedia
PROGRAMMATION DES PLD
1- Comparateur binaire 4 bits :
Description par équations :
MODULE comparateur
TITLE 'comparateur logique 4 bits'
DECLARATIONS
Comparateur device ‘P16V8’;
// PLD à programmer
B3, B2, B1, B0 pin 9, 8, 7, 6 ;
// Variables d'entrée
A3, A2, A1, A0 pin 5, 4, 3, 2 ;
// Variables d'entrée
A = [A3, A2, A1, A0] ;
// Définition du bus A
B = [B3, B2, B1, B0] ;
// Définition du bus B
S, I, E pin 15, 16, 17 istype 'com, buffer '; // Variables de sortie
EQUATIONS
Utilisation de When …. Then ….
S=A>B
;
E=A==B ;
EQUATIONS
I=A<B
;
When A > B then S = 1 ;
TEST_VECTORS ([A, B] -> [S, E, I]);
When A = = Bthen E = 1 ;
[5, 5] -> [0, 1, 0];
When A < B then I =1
;
[9, 12] -> [0, 0, 1];
[7, 6] -> [1, 0, 0];
END comparateur
2- Multiplexeur 4 bits :
Description par équations :
A- Solution 1 :
MODULE Multiplexeur
TITLE ‘Multiplexeur 4 bits'
DECLARATIONS
Multiplexeur device ‘P16V8’;
// PLD à programmer
E3, E2, E1, E0 pin 9, 8, 7, 6 ;
// Variables d'entrée
A1, A0 pin 5, 4;
// Variables d'entrée
S pin 16 istype 'com, buffer ';
// Variables de sortie
EQUATIONS
S = E3 & A1 & A0 # E2 & A1 &! A0 # E1 &! A1 & A0 # E0 &! A1 &! A0 ;
TEST_VECTORS ([E3, E2, E1, E0, A1, A0] -> [S]);
[0, 0, 0, 0, 0, 0] -> [0];
[0, 0, 0, 1, 0, 0] -> [1];
[0, 0, 0, 0, 0, 1] -> [0];
[0, 0, 1, 0, 0, 1] -> [1];
[0, 0, 0, 0, 1, 0] -> [0];
[0, 1, 0, 0, 1, 0] -> [1];
[0, 0, 0, 0, 1, 1] -> [0];
[1, 0, 0, 0, 1, 1] -> [1];
END Multiplexeur.
Page
2/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
PROGRAMMATION DES PLD
Prof : MAHBAB
Lycée.T
Mohammedia
B- Solution 2 :
MODULE Multiplexeur
TITLE ‘Multiplexeur 4 bits'
DECLARATIONS
Multiplexeur device ‘P16V8’;
E3, E2, E1, E0, A1, A0 pin 9, 8, 7, 6, 5, 4 ;
A = [A1, A0] ;
E = [E3, E2, E1, E0] ;
S pin 16 istype 'com, buffer ';
EQUATIONS
When A = [0, 0] then S = E0; // ou When A
When A = [0, 1] then S = E1; // ou When A
When A = [1, 0] then S = E2; // ou When A
When A = [1, 1] then S = E3; // ou When A
// PLD à programmer
// Variables d'entrée
// Définition du bus A
// Définition du bus E
// Variables de sortie
=
=
=
=
0
1
2
3
then
then
then
then
S=
S=
S=
S=
E0;
E1;
E2;
E3;
TEST_VECTORS ([E3, E2, E1, E0, A1, A0] -> [S]); // ou ([E, A] -> [S]);
[0, 0, 0, 0, 0, 0] -> [0];
// ou [0, 0] -> [0];
[0, 0, 0, 1, 0, 0] -> [1];
// ou [1, 0] -> [1];
[0, 0, 0, 0, 0, 1] -> [0];
// ou [0, 1] -> [0];
[0, 0, 1, 0, 0, 1] -> [1];
// ou [2, 1] -> [1];
[0, 0, 0, 0, 1, 0] -> [0];
// ou [0, 2] -> [0];
[0, 1, 0, 0, 1, 0] -> [1];
// ou [4, 2] -> [1];
[0, 0, 0, 0, 1, 1] -> [0];
// ou [0, 3] -> [0];
[1, 0, 0, 0, 1, 1] -> [1];
// ou [8, 3] -> [1];
END Multiplexeur.
3- Démultiplexeur 4 bits :
3.1- Description par équations :
A- Solution 1 :
MODULE Demultiplexeur
TITLE ‘Démultiplexeur 4 bits'
DECLARATIONS
Demultiplexeur device ‘P16V8’;
// PLD à programmer
E, G, A1, A0 pin 7, 6, 5, 4;
// Variables d'entrée
S3, S2, S1, S0 pin 12, 13, 14, 15 istype 'com, buffer '; // Variables de sortie
EQUATIONS
S3 = E & A1 & A0 &! G;
S2 = E & A1 &! A0 &! G;
S1 = E &! A1 & A0 &! G;
S0 = E &! A1 &! A0 &! G;
TEST_VECTORS ([G, E, A1, A0]
-> [S3, S2, S1, S0]);
[1,.X.,.X.,.X.]
-> [0, 0, 0, 0];
[0, 0, 0, 0]
-> [0, 0, 0, 0];
[0, 1, 0, 0]
-> [0, 0, 0, 1];
[0, 0, 0, 1]
-> [0, 0, 0, 0];
[0, 1, 0, 1]
-> [0, 0, 1, 0];
[0, 0, 1, 0]
-> [0, 0, 0, 0];
[0, 1, 1, 0]
-> [0, 1, 0, 0];
[0, 0, 1, 1]
-> [0, 0, 0, 0];
Page
3/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
[0, 1, 1, 1]
END Demultiplexeur.
PROGRAMMATION DES PLD
Prof : MAHBAB
Lycée.T
Mohammedia
-> [1, 0, 0, 0];
B- Solution 2 :
MODULE Demultiplexeur
TITLE ‘Demultiplexeur 4 bits'
DECLARATIONS
Demultiplexeur device ‘P16V8’;
// PLD à programmer
E, G, A1, A0 pin 7, 6, 5, 4;
// Variables d'entrée
S3, S2, S1, S0 pin 12, 13, 14, 15 istype 'com, buffer '; // Variables de sortie
A = [A1, A0] ;
// Définition du bus A
S = [S3, S2, S1, S0] ;
// Définition du bus S
EQUATIONS
When (G == 0) & (A == 0) then S0 = E;
When (G == 0) & (A == 1) then S1 = E;
When (G == 0) & (A == 2) then S2 = E;
When (G == 0) & (A == 3) then S3 = E;
TEST_VECTORS ([G, E, A]
-> [S]);
[1,.X.,.X.] -> [0];
[0, 0, 0]
-> [0];
[0, 1, 0]
-> [1];
[0, 0, 1]
-> [0];
[0, 1, 1]
-> [2];
[0, 0, 2]
-> [0];
[0, 1, 2]
-> [4];
[0, 0, 3]
-> [0];
[0, 1, 3]
-> [8];
END Demultiplexeur.
3.2- Description par table de vérité :
MODULE Demultiplexeur
TITLE ‘Demultiplexeur 4 bits'
DECLARATIONS
Demultiplexeur device ‘P16V8’;
// PLD à programmer
E, G, A1, A0 pin 7, 6, 5, 4;
// Variables d'entrée
S3, S2, S1, S0 pin 12, 13, 14, 15 istype 'com, buffer '; // Variables de sortie
TRUTH_TABLE
([G, E, A1, A0] -> [S3, S2, S1, S0]);
[1,.X.,.X.,.X.] -> [0, 0, 0, 0];
[0, 0, 0, 0] -> [0, 0, 0, 0];
Autre solution
[0, 0, 0, 1] -> [0, 0, 0, 0];
([G, A1, A0] -> [S3, S2, S1, S0]);
[0, 0, 1, 0] -> [0, 0, 0, 0];
[1,.X.,.X.] -> [0, 0, 0, 0];
[0, 0, 1, 1] -> [0, 0, 0, 0];
[0, 0, 0]
-> [0, 0, 0, E];
[0, 1, 0, 0] -> [0, 0, 0, 1];
[0, 0, 1]
-> [0, 0, E, 0];
[0, 1, 0, 1] -> [0, 0, 1, 0];
[0, 1, 0]
-> [0, E, 0, 0];
[0, 1, 1, 0] -> [0, 1, 0, 0];
[0, 1, 1]
-> [E, 0, 0, 0];
[0, 1, 1, 1] -> [1, 0, 0, 0];
TEST_VECTORS ([G, E, A1, A0]
-> [S3, S2, S1, S0]);
[1,.X.,.X.,.X.] -> [0, 0, 0, 0];
[0, 0, 0, 0] -> [0, 0, 0, 0];
[0, 0, 0, 1] -> [0, 0, 0, 0];
[0, 0, 1, 0] -> [0, 0, 0, 0];
Page
4/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
[0, 0, 1,
[0, 1, 0,
[0, 1, 0,
[0, 1, 1,
[0, 1, 1,
END Demultiplexeur.
1]
0]
1]
0]
1]
-> [0,
-> [0,
-> [0,
-> [0,
-> [1,
0,
0,
0,
1,
0,
PROGRAMMATION DES PLD
Prof : MAHBAB
0,
0,
1,
0,
0,
Lycée.T
Mohammedia
0];
1];
0];
0];
0];
4- Décodeur BCD 7 segments :
Description par table de vérité :
MODULE BCD
TITLE ‘Décodeur BCD 7 segments '
DECLARATIONS
BCD device ‘P16V8;
// PLD à programmer
A, B, C, D pin 2, 3, 4, 5 ;
// Variables d'entrée
a, b, c, d, e, f, g pin 18, 17, 16, 15, 14, 13, 12; // Variables sortie
N = [D, C, B, A] ;
// Définition du bus N
TRUTH_TABLE
(N -> [a, b, c, d, e, f, g])
0 -> [1, 1, 1, 1, 1, 1, 0] ; // affichage du 0 dans le cas
1 -> [0, 1, 1, 0, 0, 0, 0] ; // d’un afficheur cathode commune
2 -> [1, 1, 0, 1, 1, 0, 1] ;
3 -> [1, 1, 1, 1, 0, 0, 1] ;
4 -> [0, 1, 1, 0, 0, 1, 1] ;
5 -> [1, 0, 1, 1, 0, 1, 1] ;
6 -> [1, 0, 1, 1, 1, 1, 1] ;
7 -> [1, 1, 1, 0, 0, 0, 0] ;
8 -> [1, 1, 1, 1, 1, 1, 1] ;
9 -> [1, 1, 1, 1, 0, 1, 1] ;
TEST_VECTORS
(N -> [a, b, c, d, e, f, g])
0 -> [1, 1, 1, 1, 1, 1, 0] ;
1 -> [0, 1, 1, 0, 0, 0, 0] ;
2 -> [1, 1, 0, 1, 1, 0, 1] ;
3 -> [1, 1, 1, 1, 0, 0, 1] ;
4 -> [0, 1, 1, 0, 0, 1, 1] ;
5 -> [1, 0, 1, 1, 0, 1, 1] ;
6 -> [1, 0, 1, 1, 1, 1, 1] ;
7 -> [1, 1, 1, 0, 0, 0, 0] ;
8 -> [1, 1, 1, 1, 1, 1, 1] ;
9 -> [1, 1, 1, 1, 0, 1, 1] ;
END BCD.
5- Compteur modulo 4 :
5.1- Description par diagramme d’état :
MODULE Compteur
TITLE ‘Compteur modulo 4'
DECLARATIONS
Compteur device ‘P16V8’ ;
H, R pin 1, 2 ;
Q0, Q1 pin 15, 14 Istype 'reg, buffer ';
EQUATIONS
// PLD à programmer
// Variables d'entrée
// Variables de sortie
Page
5/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
[Q1, Q0].clk = H ;
[Q1, Q0].AR = ! R;
QSTATE
=
[Q1, Q0] ;
A
=
[0, 0] ;
B
=
[0, 1] ;
C
=
[1, 0];
D
=
[1, 1];
STATE_DIAGRAM QSTATE
State A:
GOTO B;
State B:
GOTO C;
State C:
GOTO D;
State D:
GOTO A;
TEST_VECTORS
([R, H,]
[0, .X.]
[1, . C.]
[1, . C.]
[1, . C.]
[1, . C.]
END Compteur
PROGRAMMATION DES PLD
Prof : MAHBAB
-> [Q1, Q0])
-> [0, 0] ;
-> [0, 1] ;
-> [1, 0] ;
-> [1, 1] ;
-> [0, 0] ;
5.2- Description par équation :
MODULE Compteur
TITLE ‘Compteur modulo 4'
DECLARATIONS
Compteur device ‘P16V8’ ;
// PLD à programmer
H, R pin 1, 2 ;
// Variables d'entrée
Q0, Q1 pin 15, 14 Istype 'reg, buffer ';
// Variables de sortie
Q = [Q1,Q0] ; // Définition du bus Q
EQUATIONS
Q.clk = H ;
Q.AR = ! R;
When R == 0 then Q := 0 ELSE Q := Q + 1 ;
TEST_VECTORS
END Compteur
([R, H,]
[0, .X.]
[1, . C.]
[1, . C.]
[1, . C.]
[1, . C.]
-> [Q1, Q0])
-> [0, 0] ;
-> [0, 1] ;
-> [1, 0] ;
-> [1, 1] ;
-> [0, 0] ;
5.3- Description par Table de vérité :
MODULE Compteur
TITLE ‘Compteur modulo 4'
Compteur device ‘P16V8’
DECLARATIONS
Compteur device ‘P16V8’ ;
H, R pin 1, 2 ;
Q0, Q1 pin 15, 14 Istype 'reg, buffer ';
EQUATIONS
[Q1, Q0].clk = H ;
Lycée.T
Mohammedia
// PLD à programmer
// Variables d'entrée
// Variables de sortie
Page
6/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
[Q1, Q0].AR = ! R;
TEST_VECTORS
([R, H,]
[0, .X.]
[1, . C.]
[1, . C.]
[1, . C.]
[1, . C.]
TEST_VECTORS
([R, H,]
[0, .X.]
[1, . C.]
[1, . C.]
[1, . C.]
[1, . C.]
END Compteur
PROGRAMMATION DES PLD
Prof : MAHBAB
Lycée.T
Mohammedia
:> [Q1, Q0])
:> [0, 0] ;
:> [0, 1] ;
:> [1, 0] ;
:> [1, 1] ;
:> [0, 0] ;
-> [Q1, Q0])
-> [0, 0] ;
-> [0, 1] ;
-> [1, 0] ;
-> [1, 1] ;
-> [0, 0] ;
6- Compteur modulo 5 réversible :
6.1- Description par diagramme d’état :
MODULE Compteur_reversible
TITLE ‘Compteur modulo 5'
DECLARATIONS
Compteur device ‘P16V8’ ;
// PLD à programmer
H, R, Y pin 1, 2, 3 ;
// Variables d'entrée
Q0, Q1, Q2 pin 14, 15, 16 Istype 'reg, buffer '; // Variables sortie
EQUATIONS
[Q2, Q1, Q0].clk = H ;
[Q2, Q1, Q0].AR = ! R;
QSTATE
=
[Q2, Q1, Q0];
A
=
[0, 0, 0];
B
=
[0, 0, 1];
C
=
[0, 1, 0];
D
=
[0, 1, 1];
E
=
[0, 1, 1];
STATE_DIAGRAM QSTATE
State A:
When Y = = 1 Then B Else E;
State B:
When Y = = 1 Then C Else A;
State C:
When Y = = 1 Then D Else B;
State D:
When Y = = 1 Then E Else C;
State E:
When Y = = 1 Then A Else D;
TEST_VECTORS
([R, H, Y]
-> [Q2, Q1, Q0])
[0, .X., .X.] -> [0, 0, 0] ;
[1, .C., 1]
-> [0, 0, 1] ;
[1, .C., 1]
-> [0, 1, 0] ;
[1, .C., 1]
-> [0, 1, 1] ;
[1, .C., 1]
-> [1, 0, 0] ;
[1, .C., 1]
-> [0, 0, 0] ;
[1, .C., 0]
-> [1, 0, 0] ;
[1, .C., 0]
-> [0, 1, 1] ;
[1, .C., 0]
-> [0, 1, 0] ;
[1, .C., 0]
-> [0, 0, 1] ;
[1, .C., 0]
-> [0, 0, 0] ;
END Compteur_reversible
Page
7/7
Correction
TD n°9
Parking Automatique
Classe : 2STE
PROGRAMMATION DES PLD
Prof : MAHBAB
Lycée.T
Mohammedia
6.2- Description par table de vérité :
MODULE Compteur_reversible
TITLE ‘Compteur modulo 5'
DECLARATIONS
Compteur device ‘P16V8’ ;
// PLD à programmer
H, R, Y pin 1, 2, 3 ;
// Variables d'entrée
Q0, Q1, Q2 pin 14, 15, 16 Istype 'reg, buffer '; // Variables sortie
EQUATIONS
[Q2, Q1, Q0].clk = H ;
[Q2, Q1, Q0].AR = ! R;
TRUTH_TABLE
([R, Y, Q2, Q1, Q0] :> [Q2, Q1, Q0])
[0, .X., .X., .X., .X.] :> [0, 0, 0] ;
[1, 1, 0, 0, 0] :> [0, 0, 1] ;
[1, 1, 0, 0, 1] :> [0, 1, 0] ;
[1, 1, 0, 1, 0] :> [0, 1, 1] ;
[1, 1, 0, 1, 1] :> [1, 0, 0] ;
[1, 1, 1, 0, 0] :> [0, 0, 0] ;
[1, 0, 0, 0, 0] :> [1, 0, 0] ;
[1, 0, 1, 0, 0] :> [0, 1, 1] ;
[1, 0, 0, 1, 1] :> [0, 1, 0] ;
[1, 0, 0, 1, 0] :> [0, 0, 1] ;
[1, 0, 0, 0, 1] :> [0, 0, 0] ;
TEST_VECTORS
([R, H, Y]
-> [Q2, Q1, Q0])
[0, .X., .X.] -> [0, 0, 0] ;
[1, . C., 1]
-> [0, 0, 1] ;
[1, . C., 1]
-> [0, 1, 0] ;
[1, . C., 1]
-> [0, 1, 1] ;
[1, . C., 1]
-> [1, 0, 0] ;
[1, . C., 1]
-> [0, 0, 0] ;
[1, . C., 0]
-> [1, 0, 0] ;
[1, . C., 0]
-> [0, 1, 1] ;
[1, . C., 0]
-> [0, 1, 0] ;
[1, . C., 0]
-> [0, 0, 1] ;
[1, . C., 0]
-> [0, 0, 0] ;
END Compteur_reversible.
6.3- Description par équation :
MODULE Compteur_reversible
TITLE ‘Compteur modulo 5'
DECLARATIONS
Compteur device ‘P16V8’ ;
// PLD à programmer
H, R, Y pin 1, 2, 3 ;
// Variables d'entrée
Q0, Q1, Q2 pin 14, 15, 16 Istype 'reg, buffer '; // Variables sortie
Q = [Q2, Q1, Q0] ;
// Définition du bus Q
EQUATIONS
Q.clk = H ;
Q.AR = ! R;
When R == 0 then Q := 0 Else When H == 1 then Q := Q + 1
Else Q := Q – 1 ;
When Q > 4 then Q := 0 ;
END Compteur_reversible.