Pauline PIERACCINI

En résumé

Entreprises

• StarChip - Digital Design Engineer

  SAINT BONNET DE MURE 2012 - 2014

• ATMEL - Digital Design Engineer

  Rousset 2009 - 2012

• ARM - STAGIAIRE VERIFICATION FORMELLE

  2009 - 2009
  ARM (Sophia Antipolis, 06) 2009
  (6 mois)
  Secteur d’activités: Ingénieur Validation et Test.
  Sujet: Développement de modules « AMBA 3AXI Protocol Checker » pour la vérification preuve formelle.
  Langage Verilog, SystemVerilog, PERL, TCL
  Outils Jasper, MODELSIM
  

• VOLTERRA - STAGIAIRE DESIGN NUMERIQUE

  2008 - 2008 VOLTERRA (Reading, Angleterre) : Design numérique d’un ascenseur 2008
  (4 mois)
  Secteur d activité: Ingénieur designer digital
  Sujet: Conception et architecture de circuits intégrés numériques.
  
  • Création de circuits intégrés numériques et signaux mixtes pour la réalisation d’une machine d’états .
  • Flot de conception, RTL, synthèse, layout, implémentation gate level.
  • Optimisation et tests entre chaque partie de développement RTL.
  • Développement d’un processus de communication SMBus permettant de lire, d’écrire et de commander les données provenant des Slave via un Master.
  
  langages Verilog
  Outils SIMVISION, CADENCE, SYNOPSYS, ENCOUNTER, VISIO
  

• SEAREKA - PROJET ETUDIANT

  2008 - 2008 Projet SEAREKA: Transpondeur préventif 2008
  (5 mois)
  Sujet du projet : Conception d’un transpondeur sous marin permettant de localiser de manière préventive une personne dans un milieu marin en surface et en profondeur.
  Outils Protel DXP, Oscilloscope.
  

Formations

• Université De Provence Aix-Marseille 1 Polytech'Marseille MT

  Marseille 2008 - 2009 MICROELECTRONIQUE

• ISEN Toulon (Toulon)

  Toulon 2003 - 2009 MICROELECTRONIQUE

Réseau

• Aurélien LOMBARDO

• Christophe PIN

• Frederic PIRY

• Isabelle BAILLE

• Jean-Michel ROLLAND

• Jonathan GERARD

• Olivier LUISETTI

• Sébastien SENTENAC