Environnement Clem

Une suite logicielle autour du projet clem et du langage Light Esterel (LE)

clem : compilateur LE,

clef : finaliseur LEC,

loom : éditeur graphique,

lecto : traducteur de code LEC vers d'autres formats,

strl5le : convertisseur Esterel (V5) vers LE et

cles : simulateur de code LEC valué

Ce compilateur peut générer du code logiciel ou matériel (lustre, esterel, blif, vhdl ou c) . En particulier la cible blif peut être utilisée en simulation ou en vérification.

Linux 64 bits:

• clem (V 3.4.3), clef (V 3.4.3-4), loom (V 3.4.3-9), lecto (V 3.4.3-2), strl5le (V 3.4.3-0)
• clem (V 3.4.2), clef (V 3.4.2-3), loom (V 3.4.2-8b), lecto (V 3.4.2-2), strl5le (V 3.4.2-0)
• clem (V 3.4.1), clef (V 3.4.1-2), loom (V 3.4.1-8), lecto (V 3.4.1-1), strl5le (V 3.4.1-0)
• clem (V 3.3.0), clef (V 3.3.0-2), loom (V 3.3.0-8), lecto (V 3.3.0-1), strl5le (V 3.3.0-0)
• clem (V 3.2.0), clef (V 3.2.0-2), loom (V 3.2.0-8), lecto (V 3.2.0-1), strl5le (V 3.2.0-0)
• clem (V 3.1.0), clef (V 3.1.0-2), loom (V 3.1.0-7), lecto (V 3.1.0-0), strl5le (V 3.1.0-0) and cles (V 3.1.0-2)
• clem (V 3.0.2), clef (V 3.0.2-2), loom (V 3.0.2-6), lecto (V 3.0.2-0), strl5le (V 3.0.2-0) and cles (V 3.0.2-2)
• clem (V 2.2.3), clef (V 2.2.3-2), loom (V 2.2.3-5), lecto (V 2.2.3-0), strl5le (V 2.2.3-0) and cles (V 2.2.3-2) attention: nécessite galaxy 3.5.2 ou supérieur!
• clem (V 2.2.2), clef (V 2.2.2-2), loom (V 2.2.2-4), lecto (V 2.2.2-0), strl5le (V 2.2.2-0) and cles (V 2.2.2-2)

  Linux 32 bits:

• clem (V 3.4.1), clef (V 3.4.1-2), loom (V 3.4.1-8), lecto (V 3.4.1-1), strl5le (V 3.4.1-0)
• clem (V 3.3.0), clef (V 3.3.0-2), loom (V 3.3.0-8), lecto (V 3.3.0-1), strl5le (V 3.3.0-0)
• clem (V 3.2.0), clef (V 3.2.0-2), loom (V 3.2.0-8), lecto (V 3.2.0-1), strl5le (V 3.2.0-0)
• clem (V 3.1.0), clef (V 3.1.0-2), loom (V 3.1.0-7), lecto (V 3.1.0-0), strl5le (V 3.1.0-0)
• clem (V 3.0.2), clef (V 3.0.2-2), loom (V 3.0.2-6), lecto (V 3.0.2-0), strl5le (V 3.0.2-0) and cles (V 3.0.2-2)
• clem (V 2.2.3), clef (V 2.2.3-2), loom (V 2.2.3-5), lecto (V 2.2.3-0), strl5le (V 2.2.3-0) and cles (V 2.2.3-2) attention: nécessite galaxy 3.5.2 ou supérieur!
• clem (V 2.2.2), clef (V 2.2.2-2), loom (V 2.2.2-4), lecto (V 2.2.2-0) and strl5le (V 2.2.2-0)
• clem (V 2.2.1), clef (V 2.2.1-2), loom (V 2.2.1-2), lecto (V 2.2.1-1) and strl5le (V 2.2.1-0)

  Windows 10:

• clem (V 3.4.3), clef (V 3.4.3-4), loom (V 3.4.3-9), lecto (V 3.4.3-2), strl5le (V 3.4.3-0)
• clem (V 3.4.2), clef (V 3.4.2-3), loom (V 3.4.2-8b), lecto (V 3.4.2-2), strl5le (V 3.4.2-0)
• clem (V 3.4.1), clef (V 3.4.1-2), loom (V 3.4.1-8), lecto (V 3.4.1-1), strl5le (V 3.4.1-0)
• clem (V 3.3.0), clef (V 3.3.0-2), loom (V 3.3.0-8), lecto (V 3.3.0-1), strl5le (V 3.3.0-0)
• clem (V 3.2.0), clef (V 3.2.0-2), loom (V 3.2.0-8), lecto (V 3.2.0-1), strl5le (V 3.2.0-0)

  Windows XP:

• clem (V 3.1.0), clef (V 3.1.0-2), loom (V 3.1.0-7), lecto (V 3.1.0-0) and strl5le (V 3.1.0-0)
• clem (V 3.0.2), clef (V 3.0.2-2), loom (V 3.0.2-6), lecto (V 3.0.2-0) and strl5le (V 3.0.2-0)
• clem (V 2.2.3), clef (V 2.2.3-2), loom (V 2.2.3-5), lecto (V 2.2.3-0) and strl5le (V 2.2.3-0) attention: nécessite galaxy 3.5.2 ou supérieur!
• clem (V 2.2.2), clef (V 2.2.2-2), loom (V 2.2.2-5), lecto (V 2.2.2-0) and strl5le (V 2.2.2-0)
• clem (V 2.2.1), clef (V 2.2.1-2), loom (V 2.2.1-2), lecto (V 2.2.1-1) and strl5le (V 2.2.1-0)

Exemples de bibliothèques de types pour Light Esterel valué:

langage C:

• type int
• type double
• type long double
• type complex
• type rationnal

  simulateur CLES:

• type int

galaxy : éditeur graphique d'automate (qui utilise la librairie fltk )

Cet éditeur peut générer une description Light Esterel et servir comme point d'entrée de cette chaine de compilation.

Lien vers la page de présentation de galaxy

Comment installer chaque outil ?

- Linux

Téléchargez le package (clem_linux64_3_4_1.tar.gz par exemple) et créez le répertoire clem_linux64_3_4_1 par :

gzip -d clem_linux64_3_4_1.tar.gz
tar xvf clem_linux64_3_4_1.tar

Ensuite, ouvrez le répertoire clem_linux64_3_4_1 et installez les programmes clem et clef dans un répertoire partagé tel que : /usr/local/bin, ~/bin ...

- WINDOWS

Téléchargez le package (clem_windows10_3_4_2.zip par exemple) et décompressez ce fichier.

Ensuite, installez le répertoire clem_windows10_3_4_3 dans un répertoire partagé tel que : ``Program Files'' and remettez à jour votre variable d'environnement PATH ...

Dernière remise à jour: 7 janvier 2024

Retour à la page recherche principale