Changes between Version 11 and Version 12 of ToolsCourseTp1

Timestamp:

May 7, 2007, 2:49:24 PM (19 years ago)

Author:

anonymous

Comment:

--

ToolsCourseTp1

@@ -4 +4 @@
 }}}
 [[PageOutline]]
+= Avant-propos =
+Le but de ces quatre 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
+
+FIG. 1 – 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)
+
+L'usage de Makefile est obligatoire pour ce TP ! ! !
+
+
 
 = 1 Introduction =
@@ -73 +98 @@
  -- pragma NEXT_STATE EF
  -- pragma CLOCK CK
-í¯€pragma NEXT_STATE EF
-ï¿½í¯€ pragma CLOCK CK
+�pragma NEXT_STATE EF
+�� pragma CLOCK CK
 begin
 process (EP, i, reset)