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.

Téléchargement de blif_simul

Linux 64 bits:

• blif_simul (V 0.19.1)
• blif_simul (V 0.18.0)

Linux 32 bits:

• blif_simul (V 0.17.4b)

Windows 10:

• blif_simul (V 0.19.1)
• 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.

Téléchargement de blif2autom

Linux 64 bits:

• blif2autom (V 0.0.10)
• blif2autom (V 0.0.9)

Windows 10:

• blif2autom (V 0.0.10)
• blif2autom (V 0.0.9)

Windows XP:

• blif2autom (V 0.0.5)

blifto:Un convertisseur de fichier blif.

Téléchargement de blifto

Linux 64 bits:

• blifto (V 1.0.1)
• blifto (V 1.0.0)

Windows 10:

• blifto (V 1.0.1)
• 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.

Téléchargement de blif_check

Linux 64 bits:

• blif_check (V 0.3.1)
• blif_check (V 0.2.0)

Windows 10:

• blif_check (V 0.3.1)
• 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.

Téléchargement de blif2test

Linux 64 bits:

• blif2test (V 0.2.2)
• blif2test (V 0.2.0)

Windows 10:

• blif2test (V 0.2.2)
• blif2test (V 0.2.1)

Windows XP:

• blif2test (V 0.1.4)

blif_equiv: Un comparateur symbolique de comportement de deux automates blif.

Téléchargement de blif_equiv

Linux 64 bits:

• blif_equiv (V 0.2.1)
• blif_equiv (V 0.2.0)

Windows 10:

• blif_equiv (V 0.2.1)
• blif_equiv (V 0.2.0)

Windows XP:

• blif_equiv (V 0.0.1)

merge_blif: Un outil de concaténation de fichiers blif.

Téléchargement de merge_blif

Linux 64 bits:

• merge_blif (V 0.0.7)
• merge_blif (V 0.0.6)

Windows 10:

• merge_blif (V 0.0.7)
• merge_blif (V 0.0.6)

Windows XP:

• merge_blif (V 0.0.3)

Dernière remise à jour : 8 août 2024

Retour à la page recherche principale