Changes between Version 25 and Version 26 of ToolsCourseTp6

Timestamp:

Oct 9, 2007, 12:10:25 PM (17 years ago)

Author:

alain

Comment:

cellule

ToolsCourseTp6

@@ -11 +11 @@
 le gabarit de la bibliothèque '''SXLIB'''.
 
-La première partie de cette séance a pour objectif de dessiner une cellule en tenant compte des règles de dessin
-symboliques.
-
-ftp://asim.lip6.fr/pub/amd2901/symb_rules00-1.pdf
-
 On dessinera tout d'abord la cellule  '''inv_x1''', puis on dessinera la cellule '''na2_x1'''.
 
@@ -22 +17 @@
 Le dessin des masques des cellules manipulées par la chaîne de CAO '''Alliance''' utilise 
 la technique de dessin symbolique sur grille fixe, pour permettre la migration technologique.
+
+ftp://asim.lip6.fr/pub/amd2901/symb_rules00-1.pdf
 
 Tous les fichiers contenant la vue physique (dessin des masques) possèdent l'extension '''.ap'''
@@ -44 +41 @@
   * Les boîtes d'aboutement qui définissent l'encombrement de la cellule
 
-'''graal''' permet d'appeler directement le vérificateur de règles de dessin '''druc'''.
-L'outil '''druc''' peut également être utilisé indépendamment de '''graal'''.
+'''graal''' permet d'appeler directement le vérificateur de règles de dessin,
+en lançant _ sous '''graal''' la commande DRUC.
+Le vérificateur des règles de dessin  '''druc''' peut également être utilisé indépendamment de '''graal'''.
 '''graal''' permet également de vérifier la connectivité d'une équipotentielle,
-au moyen de la commande '''EQUI'''.
+au moyen de la commande EQUI.
 
 L'outil '''graal''' utilise les variables d'environnement '''GRAAL_TECHNO_NAME'''. 
@@ -58 +56 @@
 == 2.2 COUGAR ==
 
-L'outil '''cougar''' est un extracteur, capable d'extraire la ''net-list'' d'un circuity à partir d'une description phsique au format .ap'''. L'extracteur '''cougar''' permet de générer deux types de descriptions :
+L'outil '''cougar''' est un extracteur, capable d'extraire la ''net-list'' d'un circuit à partir du dessin des masques. L'extracteur '''cougar''' permet de générer deux types de descriptions :
   * il peut générer une ''net-list'' décrite au niveau transistors (les éléments terminaux sont des transistors)
   * il peut générer une ''net-list'' décrite au niveau cellules (les éléments terminaux sont des cellules décrites comme des boîtes noires).
-
-
-{{{
-> cougar -t file1 file2
-}}}
 
 '''cougar''' utilise les variables d'environnement '''MBK_IN_PH''' et '''MBK_OUT_LO'''
@@ -96 +89 @@
 
 La commande avt_env.sh permet de mettre en place l'environnement nécessaire à l'utilisation de '''yagle'''.
-La documentation pour cet outil se trouvent en :'''/users/soft/AvtTools2003/doc '''.
+La documentation pour cet outil se trouvent en : /users/soft/AvtTools2003/doc .
 
 == 2.4 PROOF ==
@@ -114 +107 @@
 [[Image(inv_x1.jpg,nolink)]]
 
+On utilisera les largeurs suivantes pour les transistors de la cellule inv_x1 : WN =5 / WP = 10
+
 [[Image(na2.jpg,nolink)]]
+
+On utisera les largeurs suivantes pour les transistors de la cellule na2_x1 : WN = WP = 10
 
 = 4 Le gabarit sxlib =
@@ -155 +152 @@
    * 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'''
 
@@ -167 +166 @@
    * Saisir sous '''graal''' le dessin de la cellule en respectant le gabarit '''SXLIB''' 
 
-   * Valider les règles de dessin symbolique en lançant la commande '''DRUC''' sous '''graal'''
+   * 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'''
@@ -173 +174 @@
    * Utiliser les outils '''yagle''' et '''proof''' pour vérifier le comportement
 
-N'oubliez pas que les mans existent 
+N'oubliez pas que les mans existent...