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