-
Synopsys
- Consultant en Vérification
Rungis Complexe
2014 - 2014
-
Intel
- Consultant en vérification
Meudon
2014 - 2014
-
Syderal
- Consultant Vérification FPGA
GENNEVILLIERS
2014 - 2014
Verification de FPGA pour le projet NASA INSIGHT (sonde pour Mars)
-
Test and Verification Solutions France
- Gérant
2012 - 2015
TVS est spécialisée en test software et vérification hardware, SoC et IP.
Expertise en vérification pour les projets en micro-électronique, systèmes embarqués, prototypage et modélisation.
Offre de service dans les domaines suivants:
- UVM/OVM, SystemVerilog
- Specman
- Verification IP, SoC, CPU
- Modelisation SystemC
- co-vérification hardware/software
- vérification software embarqué
- vérification mixte analog/digital
- prototypage
- validation silicium
- DfT
-
AEDVICES Consulting
- Gérant et fondateur
2012 - maintenant
Conseil et expertise dans les domaines:
- Application CAD/EDA - Electronic Design Automation
- design et vérification IP et SoC
- Services en micro-électronique
- Systèmes embarqués
Partenaire Mentor Graphics - Questa Vanguard Program
Partenaire Spinnaker - OneSpin Solutions
-
Breker Verification Systems
- Support / Ingénieur d'Application
2010 - maintenant
Support technique sur les outils développés par Breker Verification Systems
Expertise en vérification système
-
ST-Ericsson
- Consultant en vérification
2008 - 2012
Intervention en tant que consultant sur plusieurs projets
Expertise en vérification hardware
Consulting en co-vérification hardware/software
Gestion de projets
Gestion d'équipes projets
Coaching
-
EASII IC
- EDA/Verification Lead & Consultant
Grenoble
2008 - 2012
-
Easii-IC
- Expert en Méthodologie de Vérification & Responsable EDA
2008 - 2012
En charge du développement de l'activité EDA:
- mise en place de partenariats stratégiques avec des sociétés EDA/CAD
- service à valeur ajoutée/expertise sur les outils et les méthodologies
- ingénieurs d'applications à la demande, support outils en France et en Europe
- développements internes de librairies associées et outils
Partenaires:
- Agnisys, outils de documentation IP-Xact et de gestion de projets de vérification
- Breker Verification Systems, outils de générations de tests IP et SoC
- Jasper Design Automation, outils de vérification formelle
- Mentor Graphics, outil Questa et méthodologies OVM/SystemVerilog
Expertise technique dans les domaines suivants:
- vérification fonctionnelle hardware (Specman, SystemVerilog, Trek/Breker, Verilog, VHDL, tests C/C++, ...)
- automatisation et mise en place des méthodologies des flows de vérification
- co-vérification hardware/software
- vérification formelle/assertions (SVA, PSL, autres)
- développement hardware / software
- aide à la mise en place, coaching, formation, prise en charge et supervision des projets de vérification
Interventions et projets réalisés:
- prise en charge de la vérification d'un sous système complexe de control de Power SoC
- co-vérification firmware, mise en place de la méthodologie et du flow, modélisation des composants exterieures
- coaching, support et aide à la mise en place d'un projet de vérification d'un sous système de control à base de micro-controlleur pour une équipe basée en Finlande
- expertise technique Spemcan pour une équipe basée à Bristol
- développement d'une scoreboard générique permettant de vérifier tout type de structure bus et de protocol
- prise en charge et mise en place d'un projet de vérification d'un système bus interconnect
-
PSI-Electronics
- Responsable Régional
2007 - 2008
En charge du développement commercial et de la gestion du centre de design régional (35 ingénieurs).
-
OneSpin
- Ingénieur Application
2006 - 2006
Support avant-vente et consulting sur les outils de vérification formelle OneSpin.
-
PSI-Electronics
- Consultant en Vérification / Responsable d'activité
2003 - 2006
Responsable de l'activité consulting en vérification
Consultant en méthodes de vérification fonctionnelle:
- processeurs
- périphériques
- systèmes embarqués
-
ST Microelectronics
- Consultant en Vérification
2003 - 2006
Vérification système TV Haute Définition et périphérique HDMI
-
Broadcom
- Ingénieur Design & Vérification
VALBONNE
2002 - 2003
Design et vérification de "system-on-chip" pour applications ADSL, ADSL2+, VDSL, ...
-
Infineon
- Ingénieur Design & Vérification
LA CHAPELLE SUR ERDRE
2000 - 2002
Design et vérification de processeurs 32 bits et périphériques pour applications smartcard et automotive.
