Changes between Version 2 and Version 3 of ToolsCourseTp1

Timestamp:

May 4, 2007, 1:41:26 PM (18 years ago)

Author:

anne

Comment:

--

ToolsCourseTp1

@@ -161 +161 @@
 – Ecrire un chier de vecteurs de test et simuler sous ASIMUT.
 – Que se passe-t-il si le reset n'est pas positionné en début de pattern ? Pourquoi ?
+
+
+3 Automate pour digicode
+L'exemple qui suit servira dans toute la suite du TP. On veut réaliser une puce
+pour digicode dont le clavier est représenté sur la gure 5. Les spécications sont les
+suivantes :
+0
+1 2 3
+4 5 6
+7 8 9
+A B
+O
+FIG. 5 – Clavier
+
+
+– Les chiffres de 0 à 9 sont codés en binaire naturel sur
+la manière suivante :
+– A : 1010
+– B : 1011
+– Le digicode fonctionne en deux modes :
+– Mode Jour : La porte s'ouvre en appuyant sur "O"
+– Mode Nuit : La porte ne s'ouvre que si le code est
+Pour distinguer les deux cas un "timer" externe calcule
+entre 8h00 et 20h00 et '0' sinon.
+– Le digicode commande une alarme dès qu'un des chiffres
+– L'automate du digicode revient dans son état d'attente clavier
+au bout de 5 secondes ou si l'alarme a sonné pendant
+Pour cela il reçoit un signal reset du timer externe.
+– La puce fonctionne à une fréquence de 10MHz.
+– Toute pression d'une touche du clavier est accompagn
+Celui-ci signale à la puce que les données en sortie
+signal est à 1 durant un cycle d'horloge.
+Le code est 53A17
+L'interface de l'automate est le suivant :
+– in ck
+– in reset
+– in jour
+
+– in jour
+– in i[3 :0]
+– in O
+– in press_kbd
+– out porte
+– out alarm
+ACSI M2 8
+TP2 Synthèse logique et génération de chemin de données
+3.1 Travail à effectuer
+– Dessiner le graphe d'états de l'automate. (Les corrections seront distribuées)
+– Le décrire au format .fsm .
+– Le synthétiser avec SYF en utilisant les options de codage -a, -j, -m, -o, -r et en
+utilisant les options -CEV.
+>syf -CEV -a <fsm_source> -
+– Ecrire le chier .pat de vecteurs de test.
+– Simuler avec ASIMUT toutes les vues comportementales obtenues.
+– Adaptez le Makele (répertoire : ~trncomun/TP/2006/TP2/Fichiers/Fournis/digicode/)
+pour qu'il couvre tous les encodages possibles.
+– Quelles sont vos remarques concernant la complexité des expressions (i.e temps)
+et le nombre de registres (i.e surface) des descriptions comportementales suivant
+les encodages ? En déduire les deux groupes d'encodage.
+– Comparer aussi leurs nombres de littéraux.
+ACSI M2 9
+TP2
+