Derivation systematique d'automates de vision a partir de resultats d'emulation
Auteur / Autrice : | IVAN KRALJIC |
Direction : | G. QUENOT |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1996 |
Etablissement(s) : | Paris 11 |
Résumé
Cette these est l'aboutissement d'une recherche visant a concevoir une methodologie globale de conception systematique de circuits integres de traitement d'images en temps reel. Un des objectifs etait de favoriser les experimentations lors de la mise au point des algorithmes, ce qui a mene a la creation d'un emulateur dedie (le calculateur fonctionnel) et au developpement d'un environnement d'emulation. L'objet de cette these a ete la conception et la mise en uvre d'un outil de generation automatique de circuits integres derives du calculateur fonctionnel: la derivation a partir de resultats d'emulation. Le terme de synthese n'est pas adapte a la technique decrite dans cette these ; la synthese comportementale commence avec une specification comportementale, alors que la technique de derivation a pour point de depart l'architecture validee lors de l'emulation. La derivation consiste a optimiser automatiquement l'architecture validee pendant l'emulation dans le but de la rendre integrable. Le developpement d'une technique de conception ad hoc a ete motive par le caractere systematique de la methode globale. La recherche de l'automaticite et de l'efficacite de la technique de derivation, mais aussi le souci de minimiser l'effort de validation des circuits ainsi concus ont ete a la base de la derivation. La technique de derivation a ete mise en uvre sur plusieurs algorithmes de traitement d'images en temps reel