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