Benoît COUTIN

En résumé

Entreprises

• Qualcomm - Senior Verification Engineer

  Paris 2013 - maintenant

• Arteris - Ingenieur Verification Fonctionnelle

  2013 - 2013

• BULL SAS - Ingénieur Verification Fonctionnelle ASIC

  SCHILTIGHEIM 2009 - 2013 Vérification fonctionnelle d'ASIC de plusieurs millions de transistors.
  
  - Ecriture de Testbenches haut niveau (SystemC, Verilog)
  - Définition du plan de vérification et écriture des assertions associées (PSL)
  - Participation à l'amélioration de la méthodologie et des outils.
  
  Environnement technique
  - Protocol QPI d'Intel
  - Langages : C++ / SystemC , Verilog, PSL, Perl, Python, Tcl, PHP
  - Outils logiciels: suite Incisive de Cadence

• Bull SAS - Stagiaire Ingénieur Verification ASIC

  SCHILTIGHEIM 2007 - maintenant Mars 2007 - Aout 2007
  
  Définition du plan de vérification et écriture des propriétés de couverture associées portant sur un sous-bloc d'un ASIC de plusieurs millions de portes
  
  Environnement technique :
  Language : SystemC , PSL
  Logiciel : NcSim de Cadence
  Os : Linux

• Elsys Design - Ingénieur Hardware

  Cachan 2007 - 2009 Mission chez BULL (Les Clayes sous Bois) en tant qu'ingénieur de Verification fonctionnelle pour participer au développement d'un ASIC.

• Laennext - Stagiaire

  2006 - maintenant Juillet 2006 / Septembre 2006
  
  Mise en place de scripts pour migration de l'ancienne base de données vers une nouvelle.
  Créations de pages web pour faciliter l'administration de plusieurs taches internes.
  
  Environnement technique :
  Language : PHP, MySQL, HTML
  Logiciel : PHPMyAdmin
  Os : Windows, Linux

Formations

• Université Strasbourg 1 Louis Pasteur Master MNE

  Strasbourg 2005 - 2007 Design Numerique

• Université Strasbourg 1 Louis Pasteur (Illkirch Graffenstaden)

  Illkirch Graffenstaden 2003 - 2007 Micro Electronique

Réseau

• Alexis COLIN

• Aurelien FONTAINE

• Aurélien BOUR

• Guillaume MOULIN

• Jean-Jacques LANAO

• Julien LALANDE

• Louise BERCELIOT

• Thierry GALVEZ

• Tudi LE BLEIS