read_blif_mv bpb.mv
flatten_hierarchy
static_order
dynamic_var_ordering -e sift
build_partition_mdds
compute_reach -s 1 -v 1
quit -s
