read_blif_mv gcd2.mv
flatten_hierarchy
static_order -s input_and_latch gcd2.ord
build_partition_mdds
read_fairness fair.ctl
robustness -v 1 -s 1 -E 
quit -s
