read_blif s27.blif
flatten_hierarchy
static_order
restruct_fsm -E -D s27 -s cproj
seq_verify -b s27.ml.blif

read_blif tlc.blif
flatten_hierarchy
static_order
restruct_fsm -E -D tlc -s fanin
seq_verify -b tlc.ml.blif

read_blif_mv ibuf.mv
flatten_hierarchy
static_order
restruct_fsm -E -D ibuf -s faninout
seq_verify -b ibuf.ml.blif

!rm *.ml.blif

quit -s