Thèse de doctorat / PhD report
Modélisation et évaluation de
performances d'architectures matérielles numériques /
Modelling and performance evaluation of digital hardware architectures.
Travail effectué sous la direction de/Directed by :
Fernand BOÉRI.
Financé par une allocation de recherche DRET/CNRS / Funded by DRET/CNRS.
Remerciements,
table des matières
Introduction.
Première Partie
- Modélisation, Simulation et Evaluation de Performances.
Chapitre I - ADL.
Chapitre II - modèle générique.
Chapitre III - Modèle des
méta-composants.
Chapitre IV - Sep-ISDL.
Chapitre V - Simulation.
Deuxième Partie
- Validation de propriétés.
Chapitre VI - La validation de la
composition.
Chapitre VII - La validation des services
(partie contrôle).
Chapitre VIII - La validation des services
(partie fonctionnelle).
Chapitre IX - Machine d'exécution
Esterel.
Troisième Partie
- Mise en oeuvre et études de cas.
Chapitre X - Le processeur maîtrise.
Chapitre XI - Le 3771.
Chapitre XII - L'arroseur automatique.
Conclusion.
Bibliographie.
Annexes.
Vous pouvez obtenir une copie de cette thèse sur microfiches en contactant /
To get a copy on microfiche, please contact :
Atelier National de Reproduction des Thèses
Université Pierre Mendès France - BP 47, 38040 Grenoble cedex 9
E-Mail: anrt@upmf-grenoble.fr