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