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.

blif2autom: Un générateur d'automate explicite par recherche des états accessibles sur l'automate (implicite) blif.

blifto: Un convertisseur de fichier blif.

blif_check: Un vérificateur symbolique de propriétés logiques pour un automate implicite blif.

blif2test: Un générateur automatique de jeux de test pour un automate implicite blif.

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

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




Dernière remise à jour : 19 mars 2017