Software tools about a subset of blif format

blif_simul: A graphical simulator of a implicit automaton written in blif format. This software uses the graphical library fltk.

Download 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: An explicit automaton generator by identification of reachable states from an implicit blif automaton.

Download 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: A blif converter.

Download 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: A symbolic blif checker.

Download 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: An automatic generator of test set from a blif automaton.

Download 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: A symbolic behavioral comparator of two blif automata.

Download 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: A blif merger.

Download 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)

Last tools update: August 8, 2024

Comeback to the main research page