source:
caseStudy_Huffmann/huffmann/huff_original/vis_rob_usut
Last change on this file was 105, checked in by , 12 years ago | |
---|---|
File size: 287 bytes |
Rev | Line | |
---|---|---|
[105] | 1 | read_blif_mv huff.mv |
2 | init_verify | |
3 | dynamic_var_ordering -e sift | |
4 | protect_outputs | |
5 | compose_golden | |
6 | init_verify | |
7 | dynamic_var_ordering -e sift | |
8 | protect_golden | |
9 | set_safe safe_rob1.ctl | |
10 | echo ROB1 huff | |
11 | echo Class USUT ROB1 huff | |
12 | set_init -v 1 -m usut -g protect_golden.reg | |
13 | robustness -v 1 -r 1 | |
14 | quit -s |
Note: See TracBrowser
for help on using the repository browser.