source: caseStudy_Huffmann/huffmann/huff_original/vis_rob_usut

Last change on this file was 105, checked in by cecile, 13 years ago

Hufmann case study
File size: 287 bytes
Line 
1read_blif_mv huff.mv
2init_verify
3dynamic_var_ordering -e sift
4protect_outputs
5compose_golden
6init_verify
7dynamic_var_ordering -e sift
8protect_golden
9set_safe safe_rob1.ctl
10echo ROB1 huff
11echo Class USUT ROB1 huff
12set_init -v 1 -m usut -g  protect_golden.reg
13robustness -v 1 -r 1
14quit -s
Note: See TracBrowser for help on using the repository browser.