Changes between Version 14 and Version 15 of ToolsCourseTp1

Timestamp:

May 10, 2007, 11:30:49 AM (18 years ago)

Author:

anne

Comment:

--

ToolsCourseTp1

@@ -5 +5 @@
 [[PageOutline]]
 = Avant-propos =
-Le but de ces quatre séances de TP est de présenter quelques outils de la chaîne
+Le but des quatre prochaines séances de TP est de présenter quelques outils de la chaîne
 ALLIANCE dont :
- Les outils de synthèse logique SYF, BOOM, BOOG, LOON;
- L'outil de génération de data-path Stratus ;
- L'éditeur graphique de netlist XSCH;
- Les outils pour la preuve formelle FLATBEH, PROOF;
- Le simulateur ASIMUT;
-Chaque outil possède ses propres options donnant des résultats plus ou moins adaptés
-suivant l'utilisation que l'on veut faire du circuit.
-fsm SYF vbe BOOM vbe BOOG vst LOON vst
-synthèse optimisation synthèse optimisation
-automate comportemental comportemental netlist netlist
+  * Les outils de synthèse logique SYF, BOOM, BOOG, LOON;
+  * L'outil de génération de data-path Stratus ;
+  * L'éditeur graphique de netlist XSCH;
+  * Les outils pour la preuve formelle FLATBEH, PROOF;
+  * Le simulateur ASIMUT;
+  Chaque outil possède ses propres options donnant des résultats plus ou moins adaptés
+  suivant l'utilisation que l'on veut faire du circuit.
+
 [[Image(synthese.jpg, nolink)]]
 
- Ensemble de la synthèse
-
-Les dépendances de données dans le flux sont matérialisées dans la réalité par une
-dépendance de fichier. Le fichier Makefile exécuté à l'aide de la commande make permet
-de gérer ces dépendances. Différents exemples de fichiers seront fournis durant le TP.
-Ce TP n'étant pas un cours sur le Makefile, nous nous limiterons à expliquer l'usage qui
-en est fait dans les exemples fournis. (cf. Annexe 1)
+
+
+ Les dépendances de données dans le flux sont matérialisées dans la réalité par une
+ dépendance de fichier. Le fichier Makefile exécuté à l'aide de la commande make permet
+ de gérer ces dépendances. Différents exemples de fichiers seront fournis durant le TP.
+ Ce TP n'étant pas un cours sur le Makefile, nous nous limiterons à expliquer l'usage qui
+ en est fait dans les exemples fournis. (cf. Annexe 1)
 
 L'usage de Makefile est obligatoire pour ce TP ! ! !
@@ -49 +47 @@
 
 
-FIG. 2 – Automate d'états
-= 2 Automates de Moore et Mealy =
+
+
 [[Image(automate.jpg, nolink)]]
 
-= 
 L'automate de MOORE voit l'état de ses sorties changer uniquement sur front d'horloge.
 Les entrées peuvent donc bouger entre deux fronts sans modifier les sorties. Par
 contre dans le cas d'un automate de MEALY, la variation des entrées peut modifier à jour
 
-[[Image(automate.jpg, nolink)]]
+
 
 = 3 SYF et VHDL =