Changes between Version 43 and Version 44 of ToolsCourseTp5

Timestamp:

Oct 7, 2008, 3:59:11 PM (16 years ago)

Author:

cobell

Comment:

--

ToolsCourseTp5

@@ -133 +133 @@
     * Valider les règles de dessin symbolique en lançant la commande DRUC sous graal.
     * Utilisez la commande EQUI pour vérifier la connectivité des équipotentielles.
-    * Extraire la netlist de l'inverseur au format .spi avec cougar.
+    * Extraire la netlist de l'inverseur au format '''.al''' avec cougar.
     * Utiliser les outils yagle et proof pour vérifier le comportement.
     * Créer un Makefile pour automatiser les différentes étapes. 
@@ -148 +148 @@
     * Valider les règles de dessin symbolique en lançant la commande DRUC sous graal.
     * Utilisez la commande EQUI pour vérifier la connectivité des équipotentielles.
-    * Extraire la netlist de l'inverseur au format .spi avec cougar.
+    * Extraire la netlist de l'inverseur au format '''.al''' avec cougar.
     * Utiliser les outils yagle et proof pour vérifier le comportement.
     * Créer un Makefile pour automatiser les différentes étapes.