ST MicroElectronics
- Ingénieur vérification SoC et IP
2013 - maintenant
STEricsson
- Ingénieur vérification SOC
GRENOBLE2011 - 2013Vérification de systèmes sur puce pour la téléphonie mobile.
Vérification au niveau système orienté simulation avec exécution de tests sur les processeurs embarqués (ARM A7, A15, M4, A53).
Élaboration et maintenance de testbenchs (VHDL). Developpement de tests en C sur plusieurs IPs avec une spécialisation dans la vérification de l'intégration des CPUs.
Développement et utilisation d'un flot de génération d'assertion pour la vérification par preuve formelle des GPIOs (IO configurables).
