Université Tunis El-Manar Année Universitaire : 2017-2018

Faculté des Sciences de Tunis

Module : Synthèse des systèmes embarqués Enseignant : C.A. ABID
TD 2
Exercice 1.
Dans cet exercice, nous proposons de réaliser un module matériel permettant de vendre des films
pour 5DT. L’usager a le droit de mettre des pièces de 1DT ou de 2DT et dès que le montant arrive a
5DT ou plus, il y a un film qui sort. Il est aussi possible que l’usager mette 6DT et dans ce cas, la
machine donne un film et remet aussi la monnaie.
Si la personne mettait de l’argent pendant que le film sort, l’argent sera perdu.

On peut soit insérer 1DT, 2DT ou rien, donc on va avoir une entrée pour chaque type de monnaie.
À la sortie, on peut soit donner un film ou soit donner un film et de la monnaie.

Les entrées et sorties de ce module matériel sont décrites comme suit :

ENTITY machine IS
PORT (
clk,reset : IN STD_LOGIC;
un_dinar : IN STD_LOGIC;
deux_dinars : IN STD_LOGIC;
film : OUT STD_LOGIC;
monnaie : OUT STD_LOGIC
);
END ENTITY ;

Donner la machine à états, puis le code VHDL du module matériel décrit.

Exercice 2.
On propose de concevoir un contrôleur de bus sous la forme d'une machine de Moore. On
considère un système dans lequel un arbitre est chargé de gérer l'accès au bus pour un certain
nombre de clients, en attribuant un "jeton" seulement au client auquel l'accès est autorisé. Un
contrôleur fait l'interface entre l'arbitre et chaque client : lorsqu'un client souhaite obtenir
l'accès au bus, il en informe son contrôleur et attend que celui-ci obtienne le jeton et lui donne
l'accès.

Les entrées/sorties du contrôleur sont les suivantes :

- Token : signal émis par l'arbitre pour indiquer que le contrôleur peut disposer du bus. Si le client
associé au contrôleur n'a pas besoin du jeton, le contrôleur le rend (voir la sortie Pss), sinon il le
garde jusqu'à ce qu'il n'en ait plus l'utilité,
- Pss (pass token) : signal émis par le contrôleur pour informer l'arbitre qu'il rend le bus (le
contrôleur rend le jeton à l'arbitre),
- Req (request) : signal émis par le client pour demander l'accès au bus (il sera maintenu à '1'
jusqu'à la fin de la transaction sur le bus),
- Gnt (grant) : signal émis par le contrôleur et destiné au client pour l'informer qu'il peut disposer
du bus (il est maintenu tant que le client n'a pas répondu, par le signal Ack, qu'il a pris le bus),
- Ack (acknowledgment) : signal émis par le client pour indiquer qu'il a pris le bus et commence
sa transaction.
Le comportement du contrôleur est décrit comme suit :
- Initialement, le contrôleur attend que l'arbitre lui fasse passer le jeton,
- si l'arbitre a passé le jeton au contrôleur et que celui-ci a reçu une requête de son client, il se me
attendre que le client commence sa transaction
- si l'arbitre a passé le jeton au contrôleur mais que celui-ci n'a reçu aucune requête de son client,
il rend immédiatement le jeton, avant de revenir à l'état initial,
- le contrôleur doit attendre la fin de la transaction dès qu'il est avisé que la transaction a
commencé,
- lorsqu'une transaction est terminée, le contrôleur rend le jeton à l'arbitre, avant de revenir
dans l'état initial.
1) Compléter la machine à états de Moore ci-après modélisant le contrôleur. Indiquer le nombre
de bistables D nécessaires à cette réalisation.

2) Traduire la machine à états donnée en VHDL.

3) Compléter Le chronogramme ci-après avec les variations des signaux de sortie du contrôleur
et en représentant l'état courant du contrôleur.