|
|
|
Suite logicielle autour des machines d'états finis
Galaxy:
éditeur d'automates
d'états finis et de SyncCharts utilisant la librairie graphique fltk : Cet éditeur, a été créé dans un projet de recherche autour des machines d'états finis (FSM) et des langages synchrones. Galaxy intègre quatre modèles indépendants:
automates simples (mode « basic automaton »)
automates parallèles (mode « parallel automaton »)
automates hiérarchiques (mode « LightEsterel »)
SyncCharts (mode « SyncCharts »).
Téléchargement de galaxy
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
Autom2circuit: synthétiseur d'automates explicites Galaxy en machine de Mealy ou Moore booléenne. Ecrit à l'origine pour des besoins d'enseignement, ce logiciel a évolué également vers des besoins recherche. Par exemple la nouvelle génération Csharp (option -cs) a été développée par M. Bergheul Mohammed Cherif durant son stage de Master Recherche.
Ce logiciel s'utilise en « invite de commande » ou par un script windows/linux ou directement via son interface graphique fltk. Il charge un fichier galaxy (extension .gal) et peux générer de multiples format de sortie (dont le mode « doc ») suivant les options choisis:
liste des options:
-aide : cette aide
-h : cette aide (in English)
-v : version du synthétiseur
-Ox : niveau d'optimisation du code généré (x=0: sans, x=2: meilleur)
-awaited : exporte les signaux d'entrées attendus en tant que sorties
-bootstate : ajoute un nouvel état initial (implicite dans le mode -awaited)
-ne « element-neutre » : nom de l'élément neutre
-bac : génère un fichier ba d'équations booléennes pour l'analyseur BAC
-sc : génère un fichier sc causal d'équations booléennes pour réintégrer la chaine de compilation Esterel
-lustre : génère un noeud LUSTRE de comportement équivalent
-esterel : génère un module ESTEREL de comportement équivalent
-blif : génère un fichier au format blif
-vhdl : génère un fichier d'équations booléennes au format vhdl
-altera : génère un fichier d'équations booléennes au format vhdl pour la famille ALTERA
-c : génère l'automate en langage c ainsi qu'un fichier d'entête .h
-cs : génère l'automate en langage Csharp (C#)
-doc : génère un fichier de documentation
-latex : génère un fichier de documentation au format latex
Téléchargement de autom2circuit
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
Autom_expand: mise à plat d'automates explicites hierarchiques Galaxy (LightEsterel ou SyncCharts). Attention ce logiciel ne gère pas l'expansion du parallelisme d'automates (produit cartesien des graphes).
Ce logiciel s'utilise uniquement en « invite de commande » ou par un script windows/linux. Il charge d'abors le fichier galaxy principal donné en paramètre, puis va chercher tous les fichiers de son arborence. Il génére en conséquence un unique automate.
Syntaxe:
autom_expand < filename > [-rename < filename > -basic]
autom_expand -h
autom_expand -v
Liste des options:
-h : cette aide (in English)
-v : version du logiciel
-rename < filename > : renommage du fichier de sortie (par défaut < filename >_expand.gal)
-basic : génération du fichier de sortie en mode « basic automaton »
Téléchargement de autom_expand
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
Comment installer chaque outil ?
- Linux
Téléchargez le fichier (galaxy_x_x_x.gz par exemple), décompressez ce programme et renommez-le par :
gzip -d galaxy.gz
mv galaxy_x_x_x galaxy
Ensuite, installez le programme dans un répertoire partagé tel que : /usr/local/bin, ~/bin ... Vous aurez également certainement besoin de rendre ce logiciel executable:
chmod 755 galaxy
- WINDOWS XP
Téléchargez, décompressez le fichier et renommez-le (galaxy_x_x_x.zip par exemple).
Ensuite, installez le répertoire galaxy dans un répertoire partagé tel que : ``Program Files'' and remettez à jour votre variable d'environnement PATH ...
Dernière
remise à jour: 24 mai 2022
