Changes between Version 8 and Version 9 of ToolsCourseTp2
- Timestamp:
- May 11, 2007, 2:13:47 PM (18 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ToolsCourseTp2
v8 v9 12 12 Plusieurs outils sont disponibles : 13 13 14 * 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èque 16 de cellules précaractérisées telle que SXLIB. 17 La netlist peut être soit au format 18 .vst soit au format .al. Vérifier la variable d'environnement MBK_OUT_LO=vst. 19 Pour plus de renseignements sur ces outils, reportez vous au man. 14 * 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èque 16 de cellules précaractérisées telle que '''SXLIB'''. 17 La netlist peut être soit au format '''.vst''' soit au format '''.al'''. Vérifier la variable d'environnement '''MBK_OUT_LO=vst'''. 18 Pour plus de renseignements sur ces outils, reportez vous au man. 20 19 21 20 == 1.2 Résolution des problèmes de fanout (sortance) == … … 24 23 important de portes (grand fanout). Ceci se traduit par une détérioration des fronts 25 24 (rise time et fall time). Il y a alors une perte en performance temporelle. Afin de ré- 26 soudre ces problèmes, l'outil LOONremplace les cellules ayant un fanout (i.e sortance)25 soudre ces problèmes, l'outil '''LOON''' remplace les cellules ayant un fanout (i.e sortance) 27 26 trop grand par des cellules plus puissantes ou bien insère des buffers. 28 27 29 28 == 1.3 Visualisation de la chaîne longue == 30 29 31 A tout moment, les netlists peuvent être éditées graphiquement. L'outil XSCHpermet32 de visualiser le chemin le plus long grâce aux fichiers .xsc et .vstgénérés à la fois33 par BOOG et par LOON.30 A tout moment, les netlists peuvent être éditées graphiquement. L'outil '''XSCH''' permet 31 de visualiser le chemin le plus long grâce aux fichiers '''.xsc''' et '''.vst''' générés à la fois 32 par '''BOOG''' et par '''LOON'''. 34 33 35 34 [[Image(T_RC.jpg,nolink)]] … … 44 43 == 1.4 Vérification de la netlist == 45 44 46 La netlist doit être certifiée. Pour cela, on dispose du simulateur ASIMUT, mais 47 aussi de l'outil PROOF qui procède à une comparaison formelle de deux descriptions 48 comportementales (.vbe). L'outil FLATBEH permet d'obtenir le nouveau fichier comportemental 49 à partir de la netlist. 45 La netlist doit être certifiée. Pour cela, on dispose du simulateur '''ASIMUT''' 50 46 51 47 = 2 Travail à effectuer = … … 57 53 On utilise le travail fait le TP précédent sur les descriptions des automates 58 54 digicode.vbe 59 * Lancer l'optimisation booléenne avec l'outil BOOMen demandant une optimisation55 * Lancer l'optimisation booléenne avec l'outil '''BOOM''' en demandant une optimisation 60 56 en surface puis en délai ; 61 57 {{{ … … 63 59 }}} 64 60 65 * Essayer BOOM avec les différents algorithmes -s, -j, -b, -g, -p... Le mode et le61 * Essayer '''BOOM''' avec les différents algorithmes '''-s''', '''-j''', '''-b''', '''-g''', '''-p'''... Le mode et le 66 62 niveau d'optimisation sont aussi à changer. 67 63 * Comparer le nombre de littéraux après factorisation. … … 79 75 80 76 81 * lancer BOOGsur les différentes netlists pour observer l'influence des options de82 SYF et de BOOM.83 * valider le travail de BOOG en resimulant avec ASIMUTles netlists obtenues77 * lancer '''BOOG''' sur les différentes netlists pour observer l'influence des options de 78 '''SYF''' et de '''BOOM'''. 79 * valider le travail de '''BOOG''' en resimulant avec '''ASIMUT''' les netlists obtenues 84 80 avec les vecteurs de test qui ont servi à valider le réseau booléen initial. 85 81 … … 87 83 == 2.3 Visualisation de la netlist == 88 84 89 La chaîne longue est décrite dans le fichier .xsc produit par BOOG. L'outil XSCH85 La chaîne longue est décrite dans le fichier '''.xsc''' produit par '''BOOG'''. L'outil '''XSCH''' 90 86 l'utilisera pour colorer son chemin. Pour lancer l'éditeur graphique : 91 87 … … 95 91 96 92 97 98 93 La couleur rouge désigne le chemin critique. 94 Si vous utilisez l'option '-slide' qui permet d'afficher un ensemble de netlists, 99 95 n'oubliez pas d'appuyer sur les touches '+' ou '-' pour éditer vos fichiers ! 100 96 … … 102 98 103 99 Pour toutes les vues structurelles obtenues précédemment : 104 Lancer LOONavec la commande :100 Lancer '''LOON''' avec la commande : 105 101 {{{ 106 102 >loon <vst_source> <vst_destination> <lax_param> - 107 103 }}} 108 104 109 Effectuer une optimisation de fanout en modifiant le facteur de fanout dans le fichier d'option .lax.105 Effectuer une optimisation de fanout en modifiant le facteur de fanout dans le fichier d'option '''.lax'''. 110 106 Imposer des valeurs de capacités sur les sorties. 111 107 … … 115 111 116 112 À effectuer sur la meilleure (justifiez votre choix) de vos netlists : 117 Valider le travail de LOON en resimulant sous ASIMUTles netlists obtenues113 Valider le travail de '''LOON''' en resimulant sous '''ASIMUT''' les netlists obtenues 118 114 avec les vecteurs de test qui ont servi à valider la vue comportementale initiale. 119 Deux précautions valent mieux qu'une ! Faîtes une vérification formelle de votre120 netlist en la comparant au fichier comportemental d'origine issu de SYF :121 115 122 {{{123 >flatbeh <vst_source> <vbe_dest> -124 }}}125 126 {{{127 >proof -d <vbe_origine> <vbe_dest> -128 }}}129 Comparez si les deux fichiers sont bien identiques.130 116 Mettre les différents résultats (surface/temps/optimisation) dans votre rapport. 131 117 Quelle est, selon vous, la meilleure des netlists ? Pourquoi ?
