![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
source:
caseStudy_Huffmann/huffmann/huff_original/vis_rob_msut
@
106
| Last change on this file since 106 was 105, checked in by , 12 years ago | |
|---|---|
| File size: 273 bytes | |
| Line | |
|---|---|
| 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 Class MSUT ROB1 huff |
| 11 | set_init -v 1 -m msut -g protect_golden.reg |
| 12 | robustness -v 1 -r 1 |
| 13 | quit -s |
Note: See TracBrowser
for help on using the repository browser.
