Changes between Version 36 and Version 37 of ToolsCourseTp5

Timestamp:

Oct 6, 2008, 11:10:59 AM (17 years ago)

Author:

cobell

Comment:

--

ToolsCourseTp5

@@ -5 +5 @@
 [[PageOutline]]
 
-Introduction :
+= Introduction =
 
 Le but de ce TP est le dessin sous '''GRAAL''' d'une cellule inverseuse, d'une porte Nand à 2 entrées et d'une porte And à 2 entrées.
-
 Les notions de cellules précaractérisées, de gabarit et de hiérarchie de cellules seront introduites.
-
-= Introduction =
 
 Dans les TP précédents nous avons utilisé des cellules d'une bibliothèque.
@@ -20 +17 @@
 Cette séance a pour objectif de dessiner des cellule en tenant compte des [attachment:symb_rules00-1.pdf règles de dessin fournies].
 
-Il s'agit tout d'abord de la cellule inverseuse '''inv_x1''' sous la forme d'une cellule précaractérisée de la bibliothèque '''sxlib''' en respectant les règles de dessin fournies, puis le Nand2, et enfin le And2.
+Il s'agit tout d'abord de la cellule inverseuse '''inv''' sous la forme d'une cellule précaractérisée de la bibliothèque '''sxlib''' en respectant les règles de dessin fournies, puis le Nand2, et enfin le And2.
 
 = 2 Environnement technologique =
@@ -123 +120 @@
 = 5 Travail à effectuer =
 
-  == 5.1 Réalisation d'un inverseur ==
+  == 5.1 Réalisation de l'inverseur et du nand2 ==
 
-   * Décrire le comportement de la cellule inverseuse dans un fichier '''.vbe'''.
-   * Dessiner le "stick-diagram" de l'inverseur inv_x1 dont le schéma en transistors est représenté.
-   * Saisir sous '''GRAAL''' le dessin de la cellule en respectant le gabarit spécifié.
-   * Valider les règles de dessin symbolique en lançant '''DRUC''' sous '''GRAAL'''.
-   * Extraire la netlist de l'inverseur au format '''.al''' avec '''COUGAR'''.
-  * Extraire le VHDL comportemental avec '''YAGLE'''.
-  * Effectuer la preuve formelle entre le fichier '''.vbe''' extrait par '''YAGLE''' et le fichier '''.vbe''' de la spécification initiale.
-  * Automatisez la vérification en écrivant un Makefile.
+Pour chacune des deux cellules à réaliser, réaliser les étapes suivantes :
 
-  == 5.2 Réalisation d'un Nand2 == 
+    * Décrire le comportement de la cellule dans un fichier au format .vbe.
+    * Dessiner sur papier un stick-diagram.
+    * 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.
+    * Utilisez la commande EQUI pour vérifier la connectivité des équipotentielles.
+    * Extraire la netlist de l'inverseur au format .spi avec cougar.
+    * Utiliser les outils yagle et proof pour vérifier le comportement.
+    * Créer un Makefile pour automatiser les différentes étapes. 
 
-  * Décrire le comportement de la cellule Nand à 2 entrées dans un fichier '''.vbe'''.
-  * Dessiner le "stick-diagram" du Nand2 dont le schéma en transistors est représenté.
-  * Saisir sous '''GRAAL''' le dessin de la cellule en respectant le gabarit spécifié.
-  * Valider les règles de dessin symbolique en lançant '''DRUC''' sous '''GRAAL'''.
-  * Extraire la netlist de la porte nand2 au format '''.al''' avec '''COUGAR'''.
-  * Extraire le VHDL comportemental avec '''YAGLE'''.
-  * Effectuer la preuve formelle entre le fichier '''.vbe''' extrait par '''YAGLE''' et le fichier '''.vbe''' de la spécification initiale.
-  * Automatisez la vérification en écrivant un Makefile.
+N'oubliez pas que les mans existent ... 
 
   == 5.3 Réalisation d'un And2 ==
 
-  * Décrire le comportement de la cellule And à 2 entrées dans un fichier '''.vbe'''.
-  * Dessiner le "stick-diagram" du And2.
-  * Définir la hiérarchie à utiliser pour créer cette cellule.
-  * Saisir sous '''GRAAL''' le dessin de la cellule en respectant le gabarit spécifié.
-  * Valider les règles de dessin symbolique en lançant '''DRUC''' sous '''GRAAL'''.
-  * Extraire la netlist de la porte nand2 au format '''.al''' avec '''COUGAR'''.
-  * Extraire le VHDL comportemental avec '''YAGLE'''.
-  * Effectuer la preuve formelle entre le fichier '''.vbe''' extrait par '''YAGLE''' et le fichier '''.vbe''' de la spécification initiale.
-  * Automatisez la vérification en écrivant un Makefile.
+Pour cette cellule, réaliser les étapes suivantes :
 
-= 6 Rapport =
+    * Décrire le comportement de la cellule dans un fichier au format .vbe.
+    * Dessiner sur papier un stick-diagram. '''Que constatez vous ?'''
+    * Saisir sous graal le dessin de la cellule en utilisant les 2 cellules précédemment crées.
+    * 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.
+    * Utiliser les outils yagle et proof pour vérifier le comportement.
+    * Créer un Makefile pour automatiser les différentes étapes. 
+
+= 6 Compte rendu =
 
 Vous rédigerez un compte-rendu d'une page maximum pour ce TP dans lequel vous expliquerez les choix effectués pour la création des cellules, ainsi que la démarche de validation.
+
+Vous joindrez vos fichiers source sans oublier les fichiers Makefile. 
 Vous joindrez les différents fichiers.