|
|
Outils logiciels relatifs à un sous ensemble du format blif
blif_simul: Un simulateur graphique d'automate implicite au format blif. Ce logiciels utilise la librairie graphique fltk.
Linux 64 bits: blif_simul (V 0.18.0)
Linux 32 bits: blif_simul (V 0.17.4b)
Windows 10: blif_simul (V 0.19.0)
Windows XP: blif_simul (V 0.17.4)
blif2autom: Un générateur d'automate explicite par recherche des états accessibles sur l'automate (implicite) blif.
Linux 64 bits: blif2autom (V 0.0.9)
Windows 10: blif2autom (V 0.0.9)
Windows XP: blif2autom (V 0.0.5)
blifto: Un convertisseur de fichier blif.
Linux 64 bits: blifto (V 1.0.0)
Windows 10: blifto (V 1.0.0)
Windows XP: blifto (V 0.2.0)
blif_check: Un vérificateur symbolique de propriétés logiques pour un automate implicite blif.
Linux 64 bits: blif_check (V 0.2.0)
Windows 10: blif_check (V 0.3.0)
Windows XP: blif_check (V 0.0.2)
blif2test: Un générateur automatique de jeux de test pour un automate implicite blif.
Linux 64 bits: blif2test (V 0.2.0)
Windows 10: blif2test (V 0.2.1)
Windows XP: blif2test (V 0.1.4)
blif_equiv: Un comparateur symbolique de comportement de deux automates blif.
Linux 64 bits: blif_equiv (V 0.2.0)
Windows 10: blif_equiv (V 0.2.0)
Windows XP: blif_equiv (V 0.0.1)
merge_blif: Un outil de concaténation de fichiers blif.
Linux 64 bits: merge_blif (V 0.0.6)
Windows 10: merge_blif (V 0.0.6)
Windows XP: merge_blif (V 0.0.3)
Dernière
remise à jour : 26 fevrier 2023