Changes between Version 3 and Version 4 of ToolsCourseTp5

Timestamp:

May 9, 2007, 2:53:01 PM (18 years ago)

Author:

anne

Comment:

--

ToolsCourseTp5

@@ -47 +47 @@
 la variable d'environnement RDS_TECHNO_NAME qui doit être positionnée à
 opt/alliance/etc/cmos.rds :
+{{{
 > export RDS_TECHNO_NAME=/opt/alliance/etc/cmos.rds
+}}}
 
 = 1.2 GRAAL =
@@ -70 +72 @@
 être positionnée à /opt/alliance/etc/cmos.graal.
 
+{{{
 > export GRAAL_TECHNO_NAME=/opt/alliance/etc/cmos.graal
+}}}
 
 = 1.3 COUGAR =
@@ -76 +80 @@
 
   Pour extraire au niveau transistor, la commande à utiliser est :
-
+{{{
 > cougar -t file1 file2
+}}}
 
 COUGAR utilise les variables d'environnement MBK_IN_PH et MBK_OUT_LO
 suivant les formats d'entrée et de sortie. Par exemple pour générer une netlist au format
 al à partir d'une description ap il faut écrire :
-
+{{{
 > export MBK_IN_PH=ap
 
@@ -88 +93 @@
 
 > cougar -t file1 file2
+}}}
 
 = 1.4 YAGLE =
@@ -95 +101 @@
 L'outil VASY permet de convertir une description VHDL comportementale du format
 .vhd au format.vbe. La commande à utiliser est :
+{{{
 > export MBK_IN_LO=al
+
 > export YAGLE_BEH_FORMAT=vbe
+
 > yagle -s file1 file2
+
 > vasy -a -I vhd file1 file2
+}}}
 
   Avant tout, vous devez utiliser la commande :
+{{{
 > source avt_env.sh
+}}}
 
   L'outil COUGAR est capable d'extraire la netlist d'un circuit aux formats .vst ou
@@ -108 +121 @@
 de YAGLE (le fichier avt_env.sh étant fourni).
 Les documentations pour cet outil se trouvent en : /users/soft/AvtTools2003/doc.
+
 = 1.5 PROOF =
  Lorsqu'on veut prouver l'équivalence de deux descriptions comportementales de
@@ -117 +131 @@
  PROOF réalise cette opération entre les descriptions file1.vbe et file2.vbe par la
 commande :
+{{{
 > proof file1 file2
+}}}
 
 = 2 Schéma d'un inverseur =
 
 Le schéma théorique d'un inverseur est présenté 
+[[Image(inv1.jpg,nolink)]]
 
 = 3 Schéma d'un buffer =