![(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_script1
| Last change on this file was 105, checked in by , 13 years ago | |
|---|---|
| File size: 172 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 |
Note: See TracBrowser
for help on using the repository browser.
