read_blif_mv huff.mv
init_verify
dynamic_var_ordering -e sift
protect_outputs
echo Class USMT ROB4 huff
set_init -v 1 -m usmt -g  protect_output.reg
robustness -v 1
quit -s
