Environnement de conception Stratus

Avant de concevoir des architectures de chemins de données arithmétiques, il nous a fallu mettre en place un environnement de conception qui puisse répondre non seulement aux besoins des concepteurs de circuits numériques, mais surtout à nos besoins en arithmétique. Ceci à donner lieu au développement de l'environnement Stratus qui est à la fois un langage de description de circuit, un modèle de données permettant de représenter les circuits numériques et une boîte à outils de CAO. Cet environnement est utilisé depuis quelques années pour les enseignements du Master SESI et est diffusé sous licence GNU GPL avec la plateforme Coriolis. Je participe activement aux développements liés à Stratus, j'y ai notament intégré des pilotes VHDL et Verilog et des modules de simulation.

Optimisation de chemins de données arithmétiques

Dans le cadre de la thèse de Sophie Belloeil des algorithmes d'optimisation automatique de chemins de données arithmétiques en utilisant l'arithmétique redondante ont été mis en place dans l'environnement Stratus. Ces algorithmes permettent d'optimiser les chemins de données arihmétiques en temps et surface. Cette thèse a donné lieu à six publications dans des conférences internationales (4) et nationales (2). Cette année, dans le cadre d'un stage M2 nous avons commencé à travailler sur l'optimisation au niveau de la consommation. Les premiers résultats sont satisfaisants et vont certainement donner lieu à l'ajout de la consommation comme nouveau critère d'optimisation de nos algorithmes.

Bibliothèque ArithLib

Parallèlement à tout cela, j'anime le développement de la bibliothèque ArithLib. Cette bibliothèque a pour but de fournir aux concepteurs des générateurs d'opérateurs arihmétiques plus ou moins complexes. Outre des opérateurs élémentaires comme différents additionneurs, multiplieurs…, la bibliothèque ArithLib fournit des générateurs pour des opérations plus complexes telles que :

• La Transformée en Cosinus Discrète (DCT) qui est un exemple de démonstration de nos outils d'optimisation,
• La multiplication accumulation (MAC)
• Un CORDIC généralisé
• La multiplication sur des grands nombres

Cryptographie

Je travaille également sur les opérateurs arithmétiques dédiés à la cryptographie, plus particulièrement à la multiplication de grands nombres, ainsi qu'aux opérations sur les corps finis comme l'addition, la multiplication et l'inversion modulo n.

Dans ce cadre, je m'intéresse à proposer une méthodologie de conception pour le traitement de l'information quantique.

Autres thèmes

Je suis également amenée à travailler sur d'autres thèmes:

• Calibrage et la correction numérique des Convertisseurs Analogique Numérique
• Implantation sur puce d'une méthode de détection d'obstacles par stéréovision
• Architecture matérielle pour l'arithmétique stochastique discrète
• La transformée cosinus discrète (DCT) utilisant l'arithmétique redondante