Menu

Richard LE ROY

GRENOBLE

En résumé

Mes compétences :
Linux
C
Electronique
Simulateur

Entreprises

  • ST Microelectronics - Hardware Verification Engineer

    2011 - maintenant Ingénieur vérification au sein d’un groupe développant un microprocesseur configurable pouvant accueillir des extensions.

    ➢ Chargé de la vérification des extensions (accélérateurs hardware : IPs RTL):
    • 10 extensions vérifiées jusqu’alors, spécialisées pour la face detection, le calcul vectoriel ou à virgule flottante, la division ou alors la génération d’interruption…
    • Gestion du plan de vérification ainsi que de la checklist du projet
    • Développement d’environnement de tests et de tests en langage E
    • Automatisation du flow de vérification formelle via une interface graphique en TCL
    • Qualification de la couverture fonctionnelle via l’environnement de test
    • Qualification de l’environnement de vérification via l’outil Certitude

    ➢ Participation à la vérification du microprocesseur:
    • Validation de la Memory Protection Unit
    • Vérification du protocole AXI sur les différentes interfaces data et programme du cœur
  • STEricsson - Stagiaire

    GRENOBLE 2010 - 2011 Internship of 6 months in the Platform and System Architecture department. The aim of the group I joined was to retrieve information from a multimedia platform. Those traces about the system behavior was provided to other team of the department (like power consumption).
  • STEricsson - Stagiaire

    GRENOBLE 2009 - 2009 Internship of 2 months in the Platform and System Architecture department. Working on the video codecs types over the internet.

Formations

Réseau