Changes between Version 8 and Version 9 of ToolsCourseTp5

Timestamp:

May 10, 2007, 10:48:53 AM (18 years ago)

Author:

anne

Comment:

--

ToolsCourseTp5

@@ -9 +9 @@
 Le but de ces quatre séances de TP est de présenter quelques outils de la chaîne
 ALLIANCE ainsi que du flot back-end CORIOLIS, dont :
-  Le langage de description procédural STRATUS
+   * Le langage de description procédural STRATUS
 
   *  L'éditeur de layout GRAAL
@@ -106 +106 @@
 Le schéma théorique d'un buffer et la hiérarchie utilisée sont présentés 
 [[Image(buff_x1.jpg,nolink)]]
+
+
 [[Image(hierarchie.jpg,nolink)]]
 
@@ -153 +155 @@
 
   Le buffer est réalisé sous GRAAL à partir de l'instanciation de deux inverseurs.
-  La hiérarchie ainsi créée est représentée sur la  Le schéma en transistors est
-représenté sur la
-  Décrire le comportement de la cellule buffer dans un fichier .vbe
- Saisir sous GRAAL le dessin de la cellule en respectant le gabarit spécifé. 
+  La hiérarchie ainsi créée est représentée sur le schéma 
+  
+  *  Décrire le comportement de la cellule buffer dans un fichier .vbe
+  * Saisir sous GRAAL le dessin de la cellule en respectant le gabarit spécifé. 
 
  Vous utiliserez pour cela la fonction d'instanciation de GRAAL. La
@@ -163 +165 @@
 
 
- Valider les règles de dessin symbolique en lançant DRUC sous GRAAL
+  * Valider les règles de dessin symbolique en lançant DRUC sous GRAAL
 
- Extraire la netlist du buffer au format .al avec COUGAR
+  * Extraire la netlist du buffer 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 
+ N'oubliez pas que les mans existent