[105] | 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 | |
---|