|
|
|
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.
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: An explicit automaton generator by identification of reachable states from an implicit blif automaton.
Linux 64 bits: blif2autom (V 0.0.9)
Windows 10: blif2autom (V 0.0.9)
Windows XP: blif2autom (V 0.0.5)
blifto: A blif converter.
Linux 64 bits: blifto (V 1.0.0)
Windows 10: blifto (V 1.0.0)
Windows XP: blifto (V 0.2.0)
blif_check: A symbolic blif checker.
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: An automatic generator of test set from a blif automaton.
Linux 64 bits: blif2test (V 0.2.0)
Windows 10: blif2test (V 0.2.1)
Windows XP: blif2test (V 0.1.4)
blif_equiv: A symbolic behavioral comparator of two blif automata.
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: A blif merger.
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)
Last tools update: Februar 26, 2023
