read_blif_mv rcnum25.mv
flatten_hierarchy
static_order
build_partition_mdds
model_check rcnum25.ctl
quit -s
