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