source: caseStudy_Huffmann/huffmann/huff_original/robScript.sh

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

Hufmann case study

  • Property svn:executable set to *
File size: 4.5 KB
Line 
1#!/bin/bash
2# Path to the tools
3tool=/dsk/l1/misc/verif_tools/vis_dev/bin/vis
4
5#liste de fichier to analyse
6liste_fichier="huff"
7
8# time limit
9ulimit -t 300
10
11# output file
12
13result=resultat_huff_orig
14echo " " > $result
15echo $liste_fichier
16for fichier in $liste_fichier
17do
18                echo "Fichier trouvé : $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 "protect_outputs" >> 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 "protect_outputs"
33                        echo "set_init -v 1 -m usut -g  protect_output.reg" >> vis_rob_usut
34                        echo "robustness -v 1" >> vis_rob_usut
35                        echo "quit -s" >> vis_rob_usut
36                        $tool < vis_rob_usut >> $result
37                        cat vis_rob_script1 > vis_rob_usmt
38                        echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
39                        echo "set_init -v 1 -m usmt -g  protect_output.reg" >> vis_rob_usmt
40                        echo "robustness -v 1" >> vis_rob_usmt
41                        echo "quit -s" >> vis_rob_usmt
42                        $tool < vis_rob_usmt >> $result
43                        cat vis_rob_script1 > vis_rob_msut
44                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
45                        echo "set_init -v 1  -m msut -g  protect_output.reg" >> vis_rob_msut
46                        echo "robustness -v 1" >> vis_rob_msut
47                        echo "quit -s" >> vis_rob_msut
48                        $tool < vis_rob_msut >> $result
49                        cat vis_rob_script1 > vis_rob_msmt
50                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
51                        echo "set_init -v 1 -m msmt -g  protect_output.reg" >>  vis_rob_msmt
52                        echo "robustness -v 1" >> vis_rob_msmt
53                        echo "quit -s" >> vis_rob_msmt
54                        $tool < vis_rob_msmt >> $result
55               
56                #ROB3
57            rob="ROB3"
58                        echo "compose_golden" >> vis_rob_script1
59                        echo "init_verify" >> vis_rob_script1
60                    echo "dynamic_var_ordering -e sift" >> vis_rob_script1
61                        echo "protect_golden" >> vis_rob_script1
62                        cat vis_rob_script1 > vis_rob_usut
63                        echo "echo ${rob} ${fichier}" >> vis_rob_usut
64                        echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut
65                        echo "set_init -v 1 -m usut -g  protect_golden.reg" >> vis_rob_usut
66                        echo "robustness -v 1" >> vis_rob_usut
67                        echo "quit -s" >> vis_rob_usut
68                        $tool < vis_rob_usut >> $result
69                #       cat vis_rob_script1 > vis_rob_usmt
70                #       echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
71                #       echo "set_init -v 1 -m usmt -g  protect_golden.reg" >> vis_rob_usmt
72                #       echo "robustness -v 1" >> vis_rob_usmt
73                #       echo "quit -s" >> vis_rob_usmt
74                #       $tool < vis_rob_usmt >> $result
75                        cat vis_rob_script1 > vis_rob_msut
76                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
77                        echo "set_init -v 1  -m msut -g  protect_golden.reg" >> vis_rob_msut
78                        echo "robustness -v 1" >> vis_rob_msut
79                        echo "quit -s" >> vis_rob_msut
80                        $tool < vis_rob_msut >> $result
81                        cat vis_rob_script1 > vis_rob_msmt
82                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
83                        echo "set_init -v 1 -m msmt -g  protect_golden.reg" >>  vis_rob_msmt
84                        echo "robustness -v 1" >> vis_rob_msmt
85                        echo "quit -s" >> vis_rob_msmt
86                        $tool < vis_rob_msmt >> $result
87
88
89                        #ROB 1
90            rob="ROB1"
91                        echo "set_safe safe_rob1.ctl" >> vis_rob_script1
92                        cat vis_rob_script1 > vis_rob_usut
93                        echo "echo ${rob} ${fichier}" >> vis_rob_usut
94                        echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut
95                        echo "set_init -v 1 -m usut -g  protect_golden.reg" >> vis_rob_usut
96                        echo "robustness -v 1 -r 1" >> vis_rob_usut
97                        echo "quit -s" >> vis_rob_usut
98                    $tool < vis_rob_usut >> $result
99                        #cat vis_rob_script1 > vis_rob_usmt
100                        #echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
101                        #echo "set_init -v 1 -m usmt -g  protect_golden.reg" >> vis_rob_usmt
102                        #echo "robustness -v 1 -r 1" >> vis_rob_usmt
103                        #echo "quit -s" >> vis_rob_usmt
104                        #$tool < vis_rob_usmt >> $result
105                        cat vis_rob_script1 > vis_rob_msut
106                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
107                        echo "set_init -v 1  -m msut -g  protect_golden.reg" >> vis_rob_msut
108                        echo "robustness -v 1 -r 1" >> vis_rob_msut
109                        echo "quit -s" >> vis_rob_msut
110                        $tool < vis_rob_msut >> $result
111                        cat vis_rob_script1 > vis_rob_msmt
112                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
113                        echo "set_init -v 1 -m msmt -g  protect_golden.reg" >>  vis_rob_msmt
114                        echo "robustness -v 1 -r 1" >> vis_rob_msmt
115                        echo "quit -s" >> vis_rob_msmt
116                        $tool < vis_rob_msmt >> $result
117
118
119done
120
Note: See TracBrowser for help on using the repository browser.