read_blif_mv coherence.mv
flatten_hierarchy
static_order
build_partition_mdds
set amc_sizeof_group 8
set amc_prove_false
approximate_model_check coherence2.ctl
time
quit -s