read_blif_mv huff.mv
init_verify
dynamic_var_ordering -e sift
protect_outputs
compose_golden
init_verify
dynamic_var_ordering -e sift
protect_golden
set_safe safe_rob1.ctl
