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