ST Microelectronics
- Hardware Verification Engineer
2011 - maintenantIngénieur vérification au sein d’un groupe développant un microprocesseur configurable pouvant accueillir des extensions.
➢ Chargé de la vérification des extensions (accélérateurs hardware : IPs RTL):
• 10 extensions vérifiées jusqu’alors, spécialisées pour la face detection, le calcul vectoriel ou à virgule flottante, la division ou alors la génération d’interruption…
• Gestion du plan de vérification ainsi que de la checklist du projet
• Développement d’environnement de tests et de tests en langage E
• Automatisation du flow de vérification formelle via une interface graphique en TCL
• Qualification de la couverture fonctionnelle via l’environnement de test
• Qualification de l’environnement de vérification via l’outil Certitude
➢ Participation à la vérification du microprocesseur:
• Validation de la Memory Protection Unit
• Vérification du protocole AXI sur les différentes interfaces data et programme du cœur
STEricsson
- Stagiaire
GRENOBLE2010 - 2011Internship of 6 months in the Platform and System Architecture department. The aim of the group I joined was to retrieve information from a multimedia platform. Those traces about the system behavior was provided to other team of the department (like power consumption).
STEricsson
- Stagiaire
GRENOBLE2009 - 2009Internship of 2 months in the Platform and System Architecture department. Working on the video codecs types over the internet.
Formations
Kungliga Tekniska Högskolan (Institut Royal De Technologie) (Stockholm)