TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

More documents

Recommendations

Info

{ 123 {
Bibliographie [BBK89] F. Brglez,D. Bryan and K. Kozminski, "Combinational Proles of Sequential Benchmark Circuits", Proc. IEEE ISCAS, 1989, pp. 1929-1934. [BeO91] R. G. Bennetts and A. Osseyran, "IEEE Standard 1149.1-1990 on boundary scan : History, litterature survey, and current status", Journal of Electronic Testing : Theory and Applications (Special issue on Boundary Scan), 2 (1):11- 25, Mars 1991. [Ben84] M. T. Bending, "Hitest : A Knowledge-Based Test Generation System", IEEE Design & Test of Computers, Vol. 1, N o . 2, 1984, pp. 83-92. [Ben94] B. Bennets, "Progress in Design for Test: A Personal View", IEEE Design and Test of Computers, Spring 1994, pp. 53-59. [BoD86] Piero P. Bonnisson and Keith S. Decker; "Selecting uncertainty calculi and granularity: An example in trading-o and complexity", in Uncertainty in AI, L.N Kanal and J.F Lemmer (ed), Elservier Science Publishers B.V. (North Holland), pp. 217-247, 1986. [BoK94] V. Boppana and W. Kent Fuchs, "Fault Dictionary Compaction by Output Sequence Removal". Proc. Intl. Conf. on Computer-Aided Design, Nov 1994, pp. 576-579. [BrF85] F. Brglez and H. Fujiwara, "A Neutral Netlist of 10 Combinational Benchmark Circuits and a Target Translator in Fortran", Proc. Intl. Test Conference, 1985, pp. 785-794. { 124 {
Page 1 and 2:
THESE presentee par Mohamed Hedi TO
Page 3 and 4:
Remerciements Si le titre de docteu
Page 5 and 6:
Abstract Today's Integrated Circuit
Page 7 and 8:
|Tables des Matieres | 2.2 Descript
Page 9 and 10:
|Tables des Matieres | 5.2.5 Calcul
Page 11 and 12:
Liste des Figures 1.1 Architecture
Page 13 and 14:
| Liste des Figures | 6.6 Localisat
Page 15 and 16:
| Liste des Tableaux | 7.8 Resultat
Page 17 and 18:
Introduction Les progres accomplis
Page 19 and 20:
Chapitre 0. | Introduction | Malgre
Page 21 and 22:
Chapitre 1 L'approche "Boundary Sca
Page 23 and 24:
Chapitre 1. | L'approche "Boundary
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Chapitre 2 Methodologie pour le tes
Page 39 and 40:
Chapitre 2. | Methodologie pour le
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Chapitre 3 Adaptation au cas des MC
Page 65 and 66:
Chapitre 3. | Adaptation au cas des
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Chapitre 4 Approches en vue du Diag
Page 77 and 78:
Chapitre 4. | Approches en vue du D
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90: Chapitre 4. | Approches en vue du D
Page 95 and 96: Chapitre 5 tester Recherche du meil
Page 97 and 98: Chapitre 5. | Recherche du meilleur
Page 117 and 118: Chapitre 6 Presentation de l'outil
Page 119 and 120: Chapitre 6. | Presentation de l'out
Page 125 and 126: Chapitre 7 Experimentations et resu
Page 127 and 128: Chapitre 7. | Experimentations et r
Page 135 and 136: Chapitre 8 Conclusion Dans ce trava
Page 137 and 138: Chapitre 8. | Conclusion | des outi
Page 139: Bibliographie
Page 143 and 144: | Bibliographie | [HRA88] A. Hassan
Page 145 and 146: | Bibliographie | [Mor95] F. Morgad
Page 147: | Bibliographie | [Wag87] P. Wagner
show all

TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Create successful ePaper yourself

Delete template?

Save as template?