Soutenance de thèse

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
/*"Optimisation automatique des chemins de données arithmétiques par
l'utilisation des systèmes de numération redondants"*/ ainsi qu'au pot
qui suivra.

Le soutenance se déroulera le lundi 25 mai 2009 à 14h30 à l'amphithéâtre
Astier dans le bâtiment Esclangon sur le campus de Jussieu (cf. plan
joint) devant le jury composé de :

Mme Lirida Naviner, Maître de Conférences à l'ENST, Rapporteur
M Emmanuel Casseau, Professeur à l'ENSSAT, Rapporteur
M Jean-Claude Bajard, Professeur au LIRMM, Examinateur
M Nicolas Fel du CEA, Examinateur
Mme Alix Munier-Kordon, Professeur au LIP6, Examinateur
M Habib Mehrez, Professeur au LIP6, Directeur de Thèse
Mme Roselyne Chotin-Avot, Maître de Conférences au LIP6, Co-Directrice
de Thèse

*Résumé :*

Cette thèse présente l'optimisation des chemins de données arithmétiques
par l'intégration automatique du système des notations redondantes dans
le flot de conception VLSI, de façon à le rendre plus accessible.
Les travaux effectués se découpent en deux phases.

La première a pour objectif d'incorporer les opérateurs redondants et
mixtes et le savoir-faire lié à leur usage dans la synthèse bas niveau.
Les bonnes performances intrinsèques de ces opérateurs montrent
l'intérêt potentiel d'une telle approche. Trois algorithmes
d'optimisation sont proposés, basés sur la redéfinition des
enchaînements entre opérateurs arithmétiques.

La seconde est consacrée à la mise en place de l'environnement de
conception dans lequel seront utilisés ces algorithmes. Cet
environnement répond aux besoins liés à l'arithmétique et fournit un
langage de description de circuits ayant un haut niveau d'abstraction.

Ces algorithmes ont été appliqués sur différents circuits arithmétiques
et les résultats obtenus confirment que l'intégration automatique de
l'arithmétique redondante améliore nettement les performances par
rapport à une implantation classique de ces circuits.

--

.--..--.
/ .. \.. \
\ \/\ \/ / Sophie BELLOEIL
\/ /\/ / sophie.belloeil@lip6.fr
/ /\/ /\ 65-66 Bureau 401
/ /\ \/\ \ tél. : 01 44 27 74 78
\ ``\ `` /
`--``--`