Changes between Version 6 and Version 7 of ToolsCourseTp2


Ignore:
Timestamp:
May 10, 2007, 11:56:01 AM (18 years ago)
Author:
anne
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ToolsCourseTp2

    v6 v7  
    99= 1.1 Synthèse logique =
    1010
    11 La synthèse logique permet d'obtenir une netlist de portes à partir d'un réseau bool
    12 éen (format .vbe). Plusieurs outils sont disponibles :
     11La synthèse logique permet d'obtenir une netlist de portes à partir d'un réseau booléen (format .vbe).
     12Plusieurs outils sont disponibles :
    1313
    1414     * L'outil BOOM permet l'optimisation de réseau booléen avant synthèse.
    15      * L'outil BOOG offre la possibilité de synthétiser une netlist en utilisant une biblioth
    16   èque de cellules précaractérisées telle que SXLIB. La netlist peut être soit au format
     15     * L'outil BOOG offre la possibilité de synthétiser une netlist en utilisant une bibliothèque
     16       de cellules précaractérisées telle que SXLIB.
     17   La netlist peut être soit au format
    1718  .vst soit au format .al. Vérifier la variable d'environnement MBK_OUT_LO=vst.
    1819         Pour plus de renseignements sur ces outils, reportez vous au man.
    … …  
    5455
    5556Pour analyser l'effet de l'optimisation booléenne :
    56  Lancer l'optimisation booléenne avec l'outil BOOM en demandant une optimisation
     57 On utilise le travail fait le TP précédent sur les descriptions des automates
     58digicode.vbe
     59  * Lancer l'optimisation booléenne avec l'outil BOOM en demandant une optimisation
    5760en surface puis en délai ;
    5861{{{
    … …  
    6063}}}
    6164
    62 Essayer BOOM avec les différents algorithmes -s, -j, -b, -g, -p... Le mode et le
     65 * Essayer BOOM avec les différents algorithmes -s, -j, -b, -g, -p... Le mode et le
    6366niveau d'optimisation sont aussi à changer.
    64  Comparer le nombre de littéraux après factorisation.
     67  * Comparer le nombre de littéraux après factorisation.
    6568
    6669
    6770 = 2.2 Mapping sur cellules précaractérisées =
    6871
    69 Pour chacun des réseaux booléens obtenus précédemment :
    70  positionner les variables d'environnement ;
    71  synthétiser la vue structurelle :
     72   Pour chacun des réseaux booléens obtenus précédemment :
     73  * positionner les variables d'environnement ;
     74  * synthétiser la vue structurelle :
    7275
    7376{{{
    … …  
    7679
    7780
    78  lancer BOOG sur les différentes netlists pour observer l'influence des options de
    79 SYF et de BOOM.
    80  valider le travail de BOOG en resimulant avec ASIMUT les netlists obtenues
     81  * lancer BOOG sur les différentes netlists pour observer l'influence des options de
     82   SYF et de BOOM.
     83  * valider le travail de BOOG en resimulant avec ASIMUT les netlists obtenues
    8184avec les vecteurs de test qui ont servi à valider le réseau booléen initial.
    8285