Pauline PIERACCINI

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.

• Etude du Protocol checker existant
• Réécriture en System Verilog du protocole checker AXI pour une meilleure optimisation au niveau registres et portes et de meilleures performances en vérification formelle.
• Ecriture du nombre nécessaire de propriétés permettant de recouvrir tout éventuel bug.
• Test par simulation, et preuve par vérification formelle du Controller de cache.
• Écriture de scripts permettant l’automatisation des tests et la production de résultats.

Environnement technique Environnement Unix
Langage Verilog, SystemVerilog, PERL, TCL
Outils Jasper, MODELSIM

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.

• Formée au sein d’une équipe de designers analogiques et en collaboration avec les designers numériques des Etats Unis et de chine.
• Définition du planning provisionnel.
• 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.

Environnement technique Environnement Unix
langages Verilog
Outils SIMVISION, CADENCE, SYNOPSYS, ENCOUNTER, VISIO

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.
Projet réalisé pour l’entreprise SEAREKA au sein d’une équipe de 4 étudiants.

• Réalisation, conception et routage de la carte analogique, de la partie du transpondeur positionné sur le plongeur et réceptionné grâce à un dispositif situé sur un bateau.
• Contraintes : consommation, coût, facilement transportable…

Environnement technique Général Electronique analogique, connaissance des composants électroniques.
Outils Protel DXP, Oscilloscope.