Changes between Version 7 and Version 8 of ToolsCourseTp2

Timestamp:

May 10, 2007, 4:01:45 PM (18 years ago)

Author:

anne

Comment:

--

ToolsCourseTp2

@@ -7 +7 @@
 
 = 1. Introduction =
-= 1.1 Synthèse logique =
+== 1.1 Synthèse logique ==
 
 La synthèse logique permet d'obtenir une netlist de portes à partir d'un réseau booléen (format .vbe). 
@@ -19 +19 @@
          Pour plus de renseignements sur ces outils, reportez vous au man.
 
-= 1.2 Résolution des problèmes de fanout (sortance) =
+== 1.2 Résolution des problèmes de fanout (sortance) ==
 
  Les netlists générées contiennent parfois des signaux internes attaquant un nombre
@@ -27 +27 @@
 trop grand par des cellules plus puissantes ou bien insère des buffers.
 
-= 1.3 Visualisation de la chaîne longue =
+== 1.3 Visualisation de la chaîne longue ==
 
 A tout moment, les netlists peuvent être éditées graphiquement. L'outil XSCH permet
@@ -42 +42 @@
 
 
-= 1.4 Vérification de la netlist =
+== 1.4 Vérification de la netlist ==
 
 La netlist doit être certifiée. Pour cela, on dispose du simulateur ASIMUT, mais
@@ -52 +52 @@
 
 
- = 2.1 Optimisation du réseau booléen =
+ == 2.1 Optimisation du réseau booléen ==
 
 Pour analyser l'effet de l'optimisation booléenne :
@@ -68 +68 @@
 
 
- = 2.2 Mapping sur cellules précaractérisées =
+ == 2.2 Mapping sur cellules précaractérisées ==
 
    Pour chacun des réseaux booléens obtenus précédemment :
@@ -85 +85 @@
 
 
- = 2.3 Visualisation de la netlist =
+ == 2.3 Visualisation de la netlist ==
 
  La chaîne longue est décrite dans le fichier .xsc produit par BOOG. L'outil XSCH
@@ -99 +99 @@
 n'oubliez pas d'appuyer sur les touches '+' ou '-' pour éditer vos fichiers !
 
- = 2.4 Optimisation de la netlist =
+ == 2.4 Optimisation de la netlist ==
 
 Pour toutes les vues structurelles obtenues précédemment :
@@ -111 +111 @@
 
 
-= 2.5 Vérification de la netlist =
+== 2.5 Vérification de la netlist ==