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
echo Class MSUT ROB1 huff
set_init -v 1  -m msut -g  protect_golden.reg
robustness -v 1 -r 1
quit -s
