-
Dolphin Intégration
- Ingénieur / Architecte logiciel
Meylan
2006 - maintenant
Depuis 2012, développeur et architecte logiciel dans l'équipe micro-contrôleurs:
• Conception et développement de notre solution de développement de logiciels embarqués pour micro-contrôleurs (Environnement de développement, modèles de micro-contrôleurs et de périphériques, chaine de compilation basée sur LLVM...)
• Participation à la définition d'un jeu d'instructions pour un micro-contrôleur 32-bits
De 2006 à 2012, développeur logiciel dans l'équipe EDA:
• Participation au développement du simulateur mixte SMASH (simulation logique, fonctionnalités de déverminage, interface utilisateur, support des langages d'assertions)
-
TNI-Valiosys SA
- Ingénieur logiciel
2001 - 2006
• Développement d'un outil d'annotation de modèles SystemC pour l'estimation de performance et de consommation
• Intégration d'un moteur de preuve formelle dans un outil de vérification statique de modèles VHDL/Verilog (à des fins de vérification de propriétés fonctionnelles prédéfinies ou spécifiées en PSL)
-
Arexsys
- Ingénieur logiciel
1999 - 2001
• Développement, dans un outil de co-design logiciel/matériel, d'un front-end SDL, de générateurs de code C, VHDL et Verilog, d'algorithmes de partitionnement et de l'interface utilisateur
• Participation au développement d'un outil de co-simulation (interfaçant ModelSim, NCSim, SystemC, Matlab, Saber...)
Arexsys était TIMA spin-off specialized in system design software and was acquired by TNI-Valiosys in June 2001.
-
Laboratoire TIMA
- Ingénieur logiciel
Lyon
1996 - 1999
Dans l'équipe SLS (System Level Synthesis), j'ai participé au développement d'un outil de synthèse comportementale et d'un outil de co-design.
