read_blif s298.blif
flatten_hierarchy
static_order
synthesize_network -o s298
seq_verify -b s298.ml.blif

read_blif vg2.blif
flatten_hierarchy
static_order
synthesize_network -o vg2
comb_verify -b vg2.blif vg2.ml.blif

!rm *.ml.blif

quit -s