1 | #!/bin/bash |
---|
2 | tool=/dsk/l1/misc/cecile/bin/vis |
---|
3 | liste_fichier="huff_reset1 huff_reset2" |
---|
4 | ulimit -t 28280 |
---|
5 | result=resultat_huff_reset__11122011 |
---|
6 | echo " " > $result |
---|
7 | echo $liste_fichier |
---|
8 | for fichier in $liste_fichier |
---|
9 | do |
---|
10 | echo "Fichier trouvé : $fichier" |
---|
11 | |
---|
12 | echo "*******************************" >> $result |
---|
13 | echo ${fichier}.mv >> $result |
---|
14 | echo "*******************************" >> $result |
---|
15 | echo read_blif_mv ${fichier}.mv > vis_rob_script1 |
---|
16 | echo "init_verify" >> vis_rob_script1 |
---|
17 | echo "dynamic_var_ordering -e sift" >> vis_rob_script1 |
---|
18 | echo "protect_outputs" >> vis_rob_script1 |
---|
19 | #ROB4 |
---|
20 | rob="ROB4" |
---|
21 | cat vis_rob_script1 > vis_rob_usut |
---|
22 | echo "echo ${rob} ${fichier}" >> vis_rob_usut |
---|
23 | echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut |
---|
24 | echo "protect_outputs" |
---|
25 | echo "set_init -v 1 -m usut -g protect_output.reg" >> vis_rob_usut |
---|
26 | echo "robustness -v 1" >> vis_rob_usut |
---|
27 | echo "quit -s" >> vis_rob_usut |
---|
28 | $tool < vis_rob_usut >> $result |
---|
29 | cat vis_rob_script1 > vis_rob_usmt |
---|
30 | echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt |
---|
31 | echo "set_init -v 1 -m usmt -g protect_output.reg" >> vis_rob_usmt |
---|
32 | echo "robustness -v 1" >> vis_rob_usmt |
---|
33 | echo "quit -s" >> vis_rob_usmt |
---|
34 | $tool < vis_rob_usmt >> $result |
---|
35 | cat vis_rob_script1 > vis_rob_msut |
---|
36 | echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut |
---|
37 | echo "set_init -v 1 -m msut -g protect_output.reg" >> vis_rob_msut |
---|
38 | echo "robustness -v 1" >> vis_rob_msut |
---|
39 | echo "quit -s" >> vis_rob_msut |
---|
40 | $tool < vis_rob_msut >> $result |
---|
41 | cat vis_rob_script1 > vis_rob_msmt |
---|
42 | echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt |
---|
43 | echo "set_init -v 1 -m msmt -g protect_output.reg" >> vis_rob_msmt |
---|
44 | echo "robustness -v 1" >> vis_rob_msmt |
---|
45 | echo "quit -s" >> vis_rob_msmt |
---|
46 | $tool < vis_rob_msmt >> $result |
---|
47 | |
---|
48 | #ROB3 |
---|
49 | rob="ROB3" |
---|
50 | echo "compose_golden" >> vis_rob_script1 |
---|
51 | echo "init_verify" >> vis_rob_script1 |
---|
52 | echo "dynamic_var_ordering -e sift" >> vis_rob_script1 |
---|
53 | echo "protect_golden" >> vis_rob_script1 |
---|
54 | cat vis_rob_script1 > vis_rob_usut |
---|
55 | echo "echo ${rob} ${fichier}" >> vis_rob_usut |
---|
56 | echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut |
---|
57 | echo "set_init -v 1 -m usut -g protect_golden.reg" >> vis_rob_usut |
---|
58 | echo "robustness -v 1" >> vis_rob_usut |
---|
59 | echo "quit -s" >> vis_rob_usut |
---|
60 | $tool < vis_rob_usut >> $result |
---|
61 | # cat vis_rob_script1 > vis_rob_usmt |
---|
62 | # echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt |
---|
63 | # echo "set_init -v 1 -m usmt -g protect_golden.reg" >> vis_rob_usmt |
---|
64 | # echo "robustness -v 1" >> vis_rob_usmt |
---|
65 | # echo "quit -s" >> vis_rob_usmt |
---|
66 | # $tool < vis_rob_usmt >> $result |
---|
67 | cat vis_rob_script1 > vis_rob_msut |
---|
68 | echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut |
---|
69 | echo "set_init -v 1 -m msut -g protect_golden.reg" >> vis_rob_msut |
---|
70 | echo "robustness -v 1" >> vis_rob_msut |
---|
71 | echo "quit -s" >> vis_rob_msut |
---|
72 | $tool < vis_rob_msut >> $result |
---|
73 | cat vis_rob_script1 > vis_rob_msmt |
---|
74 | echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt |
---|
75 | echo "set_init -v 1 -m msmt -g protect_golden.reg" >> vis_rob_msmt |
---|
76 | echo "robustness -v 1" >> vis_rob_msmt |
---|
77 | echo "quit -s" >> vis_rob_msmt |
---|
78 | $tool < vis_rob_msmt >> $result |
---|
79 | |
---|
80 | |
---|
81 | #ROB 1 |
---|
82 | rob="ROB1" |
---|
83 | sh safe.sh . |
---|
84 | echo "set_safe safe_rob1.ctl" >> vis_rob_script1 |
---|
85 | cat vis_rob_script1 > vis_rob_usut |
---|
86 | echo "echo ${rob} ${fichier}" >> vis_rob_usut |
---|
87 | echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut |
---|
88 | echo "set_init -v 1 -m usut -g protect_golden.reg" >> vis_rob_usut |
---|
89 | echo "robustness -v 1 -r 1" >> vis_rob_usut |
---|
90 | echo "quit -s" >> vis_rob_usut |
---|
91 | $tool < vis_rob_usut >> $result |
---|
92 | #cat vis_rob_script1 > vis_rob_usmt |
---|
93 | #echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt |
---|
94 | #echo "set_init -v 1 -m usmt -g protect_golden.reg" >> vis_rob_usmt |
---|
95 | #echo "robustness -v 1 -r 1" >> vis_rob_usmt |
---|
96 | #echo "quit -s" >> vis_rob_usmt |
---|
97 | #$tool < vis_rob_usmt >> $result |
---|
98 | cat vis_rob_script1 > vis_rob_msut |
---|
99 | echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut |
---|
100 | echo "set_init -v 1 -m msut -g protect_golden.reg" >> vis_rob_msut |
---|
101 | echo "robustness -v 1 -r 1" >> vis_rob_msut |
---|
102 | echo "quit -s" >> vis_rob_msut |
---|
103 | $tool < vis_rob_msut >> $result |
---|
104 | cat vis_rob_script1 > vis_rob_msmt |
---|
105 | echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt |
---|
106 | echo "set_init -v 1 -m msmt -g protect_golden.reg" >> vis_rob_msmt |
---|
107 | echo "robustness -v 1 -r 1" >> vis_rob_msmt |
---|
108 | echo "quit -s" >> vis_rob_msmt |
---|
109 | $tool < vis_rob_msmt >> $result |
---|
110 | |
---|
111 | |
---|
112 | done |
---|
113 | |
---|