MIA (Multi-core Interference Analysis)
Outil permettant de calculer les interférences lors du déploiement d'une application temps-réel sur une plateforme multi-coeur comportant des ressources partagées (cache, bus, ...)

ERCTool
Prototype logiciel pour l'identification d'erreurs électriques (Electrical Rule Checking, ou ERC) sur des circuits décrits au niveau transistor. Développé durant mon post-doctorat, en collaboration avec Oussama Oulkaid, doctorant CIFRE. Le prototype n'est pas disponible en ligne, en accord avec notre partenaire industriel.

QECE (Quick Exploration using Chisel Estimators)
Prototype logiciel permettant à la fois de définir des méthodologies adaptables d'estimation de circuit numérique, et des processus flexibles d'exploration d'espace de conception.

QECE-benchmark
Banc d'applications représentatives de l'utilisation des FPGAs, utilisé pour démontrer l'utilisabilité de QECE sur divers cas d'utilisation.

Manuscrit de thèse - Université Grenoble Alpes
Sources LaTeX pour la génération de mon manuscrit de thèse.