source: caseStudy_Huffmann/huffmann/huff_original/vis_rob_msut

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

Hufmann case study
File size: 273 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 Class MSUT ROB1 huff
11set_init -v 1  -m msut -g  protect_golden.reg
12robustness -v 1 -r 1
13quit -s
Note: See TracBrowser for help on using the repository browser.