Changes between Version 6 and Version 7 of ToolsTp1


Ignore:
Timestamp:
Dec 3, 2009, 12:32:32 PM (15 years ago)
Author:
cobell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ToolsTp1

    v6 v7  
    182182     
    183183   * En s'inspirant du compteur de trois "un" présenté, écrire au format '''.fsm''' la description d'un compteur de cinq "un" successifs sous la forme d'un automate de Moore.
    184    * Lancer '''SYF''' avec les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options '''-CEV'''.
     184   * Synthétiser l'automate avec '''SYF''' avec les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options '''-CEV'''.
    185185     Penser à bien positionner les variables d'environnement.
    186186{{{
    … …  
    222222 * in reset
    223223 * in jour
    224  * in i[3 :0]
     224 * in i[3:0]
    225225 * in O
    226226 * in press_kbd
    … …  
    232232
    233233  * Dessiner le graphe d'états de l'automate.
    234   * Le décrire au format '''.fsm'''.
    235   * Le synthétiser avec '''SYF''' en utilisant les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options '''-CEV'''.
     234  * Ecrire au format '''.fsm''' l'automate.
     235  * Synthétiser l'automate avec '''SYF''' en utilisant les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options '''-CEV'''.
    236236{{{
    237237> syf -CEV -a <fsm_source>
    … …  
    245245'''Comparez aussi leurs nombres de littéraux.'''
    246246
    247     === 2.2.2 Optimisation du réseau booléen ===
    248 
    249   * Lancer l'optimisation booléenne avec l'outil '''BOOM''' en demandant une optimisation en '''surface''' puis en '''délai'''.
     247  * Lancer l'optimisation du réseau booléen avec l'outil '''BOOM''' en demandant une optimisation en '''surface''' puis en '''délai'''.
    250248{{{
    251249> boom -V <vbe_source> <vbe_destination>
    … …  
    254252  * Comparer le nombre de littéraux après factorisation.
    255253
    256   === 2.2.3 Mapping sur cellules précaractérisées ===
    257 
    258 Pour chacun des réseaux booléens obtenus précédemment :
     254Pour chacun des réseaux booléens obtenus précédemment, effectuer le mapping sur cellules précaractérisées :
    259255  * Synthétiser la vue structurelle (en faisant attention à bien positionner les variables d'environnement).
    260256{{{
    … …  
    263259  * Observer l'influence des options de '''SYF''' et de '''BOOM''' avec les différences netlists obtenues.
    264260  * 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.
    265 
    266   === 2.2.4 Visualisation de la netlist ===
    267 
    268   * Utiliser '''XSCH''' pour visualiser le chemin critique.
     261  * Utiliser '''XSCH''' pour visualiser la netlist.
    269262{{{
    270263>xsch -I vst -l <vst_source>
    271264}}}
    272 La couleur rouge désigne le chemin critique.
     265Cet outil vous permet de visualiser le chemin critique, représenté en rouge.
     266
    273267Si vous utilisez l'option '-slide' qui permet d'afficher un ensemble de netlists, n'oubliez pas d'appuyer sur les touches '+' ou '-' pour éditer vos fichiers !
    274268
    275   === 2.2.5 Optimisation de la netlist ===
    276 
    277269Pour toutes les vues structurelles obtenues précédemment :
    278   * Lancer '''LOON'''.
     270  * Optimiser la netslist en lancant '''LOON'''.
    279271{{{
    280272> loon <vst_source> <vst_destination> <lax_param>
    281273}}}
    282274  * 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.
    283 
    284   === 2.2.6 Vérification de la netlist ===
    285275
    286276'''Quelle est, selon vous, la meilleure des netlists ? Pourquoi ?'''
    … …  
    302292Vous rédigerez un compte-rendu d'une page maximum pour ce TP dans lequel vous ferez attention à bien répondre aux questions posées ici (en gras).
    303293Vous inclurez les différents résultats obtenus surface/temps/optimisation.
    304 Vous enverrez ce compte rendu par mail aux encadrants.
    305 
    306 
    307 
    308 
    309 En plus du compte rendu, vous joindrez les fichiers écrits (soit une archive contenant tous les fichiers par mail, soit le chemin d'accès aux fichiers, en faisant attention dans ce cas à laisser les droits).
     294
     295Vous enverrez le compte rendu par mail, ainsi que les fichiers écrits (soit une archive contenant tous les fichiers dans le mail, soit le chemin d'accès aux fichiers, en faisant attention dans ce cas à laisser les droits).
    310296
    311297Vous ferez attention à joindre les différents Makefile créés de façon à ce que la commande '''make''' effectue les différentes étapes de ce TP.