Changes between Version 28 and Version 29 of ToolsCourseTp1

Timestamp:

Sep 18, 2008, 11:33:24 AM (16 years ago)

Author:

cobell

Comment:

--

ToolsCourseTp1

@@ -53 +53 @@
 [[Image(graphe1.jpg, nolink)]]
 
-Figure  Graphe d'états d'un compteur de trois "1" successifs
 {{{
 entity circuit is
@@ -167 +166 @@
 = 2. Travail à faire =
 
-  == 2.1 Réalisation du compteur ==
+  == 2.1 Réalisation d'un compteur ==
       
-  * Ecrire la description d'un compteur de cinq "un" successifs sous la forme d'un automate de Moore.
+  * En s'inspirant du compteur de trois "un" présenté, écrire la description d'un compteur de cinq "un" successifs sous la forme d'un automate de Moore.
   * Lancer '''SYF''' avec les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options '''-CEV'''.
-  Pensez à bien positionner vos variables d'environnement.
+  Penser à bien positionner les variables d'environnement.
 
 {{{
@@ -187 +186 @@
 Les spécifications sont les suivantes :
 
+{{{
 Les chiffres de 0 à 9 sont codés en binaire naturel sur la manière suivante :
 
@@ -200 +200 @@
 
  * Le digicode commande une alarme dès qu'un des chiffres entrés n'est pas le bon
- * L'automate du digicode revient dans son état d'attente si rien n'est entré au clavier au bout de 5 secondes ou si l'alarme a sonné pendant 2mn- signal '''reset'''- Pour cela il reçoit un signal '''reset''' du timer externe.
+ * L'automate revient dans son état d'attente si rien n'est entré au clavier au bout de 5 secondes ou si l'alarme a sonné pendant 2mn
+ - signal '''reset'''-, 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ée du signal '''press_kbd'''.
  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
@@ -214 +217 @@
  * out porte
  * out alarm
-
-* 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.
-
+}}}
+
+  * 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 fichier .pat de vecteurs de test.
-* Simuler avec '''ASIMUT''' toutes les vues comportementales obtenues.
-* Adaptez le Makefile 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 ?
+  * Ecrire le fichier .pat de vecteurs de test.
+  * Simuler avec '''ASIMUT''' toutes les vues comportementales obtenues.
+  * Adaptez le Makefile 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.
+Comparez aussi leurs nombres de littéraux.'''
 
   == 2.3 Optimisation du réseau booléen ==
 
-* Lancer l'optimisation booléenne avec l'outil '''BOOM''' en demandant une optimisation en surface puis en délai.
+  * Lancer l'optimisation booléenne avec l'outil '''BOOM''' en demandant une optimisation en surface puis en délai.
 {{{
 >boom -V <vbe_source> <vbe_destination> -
 }}}
-* Essayer '''BOOM''' avec les différents algorithmes '''-s''', '''-j''', '''-b''', '''-g''', '''-p'''...
-Le mode et le niveau d'optimisation sont aussi à changer.
-* Comparer le nombre de littéraux après factorisation.
+  * Essayer '''BOOM''' avec les différents algorithmes '''-s''', '''-j''', '''-b''', '''-g''', '''-p'''... Le mode et le niveau d'optimisation sont aussi à changer.
+  * Comparer le nombre de littéraux après factorisation.
 
   == 2.4 Mapping sur cellules précaractérisées ==
 
 Pour chacun des réseaux booléens obtenus précédemment :
-* Positionner les variables d'environnement ;
-* Synthétiser la vue structurelle :
+  * Positionner les variables d'environnement ;
+  * Synthétiser la vue structurelle :
 {{{
 >boog <vbe_source> -
 }}}
-* Lancer '''BOOG''' sur les différentes netlists pour observer l'influence des options de '''SYF''' et de '''BOOM''' ;
-* Valider le travail de '''BOOG''' en resimulant avec '''ASIMUT''' les netlists obtenues avec les vecteurs de test qui ont servi à valider le réseau booléen initial.
+  * Lancer '''BOOG''' sur les différentes netlists pour observer l'influence des options de '''SYF''' et de '''BOOM''' ;
+  * Valider le travail de '''BOOG''' en resimulant avec '''ASIMUT''' les netlists obtenues avec les vecteurs de test qui ont servi à valider le réseau booléen initial.
 
   == 2.5 Visualisation de la netlist ==
 
-* Utiliser l'outil '''XSCH''' pour colorer visualiser le chemin critique.
+  * Utiliser '''XSCH''' pour colorer visualiser le chemin critique.
 Pour lancer l'éditeur graphique :
 {{{
@@ -265 +266 @@
 
 Pour toutes les vues structurelles obtenues précédemment :
-* Lancer '''LOON'''.
+  * Lancer '''LOON'''.
 {{{
 >loon <vst_source> <vst_destination> <lax_param> -
 }}}
-* Effectuer une optimisation de fanout en modifiant le facteur de fanout dans le fichier d'option '''.lax'''.
-Imposer des valeurs de capacités sur les sorties.
+  * Effectuer une optimisation de fanout en modifiant le facteur de fanout dans le fichier d'option '''.lax'''. Imposer des valeurs de capacités sur les sorties.
 
   == 2.7 Vérification de la netlist ==
@@ -277 +277 @@
 
 À effectuer sur cette netlist :
-* Valider le travail de '''LOON''' en resimulant sous '''ASIMUT''' les netlists obtenues avec les vecteurs de test qui ont servi à valider la vue comportementale initiale.
-* Mettre les différents résultats (surface/temps/optimisation) dans votre rapport.
+  * Valider le travail de '''LOON''' en resimulant sous '''ASIMUT''' les netlists obtenues avec les vecteurs de test qui ont servi à valider la vue comportementale initiale.
+  * Mettre les différents résultats (surface/temps/optimisation) dans votre rapport.
 
 = 3. Compte rendu =