Mikael GENAY


En résumé

Specialization and field of expertise:
● Strong C and C++ programming experience.
● Embedded Software/Firmware for Systems based on Micro-controllers and ARM processors.
● Functional Verification: functional coverage (Specman) and functional qualification (Certitude) methodologies, verification plan, strategy, planning.
● Virtual Prototyping / TLM.
● Technical project management.
● Customers support and management of internal/external partner’s relationship.
● Communication and problem solving skills.
● Experience of languages and tools : SystemC, perl, csh, linux, assembly, Cadence suite, Synopsys suite, Certitude, Jenkins, clearcase, git, svn.


  • STMicroelectronics - Embedded Software Engineer

    2016 - maintenant In Imaging Software departement, on Automotive projects:
    • Development of embedded software drivers.
    • MISRA C development for ISO26262 compliancy.
    • Embedded Software development/verification flow definition.
  • STMicroelectronics - Video System Verification Group Leader & Embedded Software Developper

    2012 - 2016 In Multimedia system departement, on Set Top Boxes and Application Processor Projects :
    • Development of embedded software services/drivers. Delivery to software, validation, SOC and VSOC teams.
    • Development of functional simulation platforms (C/C++/SystemC), functional and integration tests.
    • Technical management of local and remote teams in Noida (India).
    • Management of the video verification activity: strategy, methodology, planning, relationship, support. Animation of verification activity monthly and working groups in the whole organization.
    • Publications on verification methodology.

    Achievements: Development and deployment of a new functional verification methodology (publications). HEVC/H264/VP8 Video encoding systems integrated in set-top boxes.
  • STEricsson - Multimedia System Verification Technical Leader

    GRENOBLE 2010 - 2012 In Multimedia system departement, on Wireless 3G Multimedia Platform Project:
    • Development of Co-simulation SystemC/RTL and SystemC/C verification platforms (Emulated μP, HW Sub-System and Memory).
    • Development of C language verification SW and directed/random tests.
    • Responsible of verification methodology improvement and technology watch.
    • System modeling delivery management to Virtual SOC for SW early development.
    • Trainee supervision.
    • Training animation to new comers.
    • Daily deals with international partners (India, Tunisia, Morocco, Greece, England, Sweden, United-States).

    Achievements: Deployment of a common and generic verification methodology. Bosch fisheye reversing camera for BMW cars.
  • ST Microelectronics - Virtual Prototyping Project Leader

    2007 - 2010 In Multimedia system department on Wireless 3G Multimedia Platform Project:
    • Development of functional simulation platforms (C/C++/SystemC) of complex Multimedia Systems (Multi-μP/DSP/HW blocks/Memory) architecture for SW/HW/OS early development, integration and validation.
    • Support FW/SW/HW development and architecture study (50 people in France and India).
    • Management of customer’s relationship. Coordination of partners (8 people) in France and Morocco.

    Achievements: First mobile phone chip (U8500) with 1080P video camcorder function. Samsung Galaxy S3 mini, Sony XperiaP/U, HTC Sensation Z710 and Motorola XT mobile phones
  • STMicroelectronics - Hardware Video Design Verification Engineer

    2005 - 2007 • Functional coverage driven verification of video HW blocks for Nomadik application processor project, using Specman, C reference models and psl asserts.
    • Responsible of verification platform improvement (templates, scripts, new methodologies).
    • Verification plan definition, bug tracking/reporting.
    • Strong involvement in team support.

    Achievements: Nokia N96 and LG KS10 mobile phones.
  • STMicroelectronics - System Verification Engineer Internship (STxP70)

    2005 - 2005 Functional coverage driven verification on STxP70 Microcontroller using Specman (e object language) and assembly languages:
    • Verification strategy and plan definition.
    • Development of directed and random test patterns to verify the different customer configurations, new functionalities and the integration of configurable blocks.
    • Co-simulation C reference model versus RTL.

    Achievements: Delivery on time to customer, in a short delay and with high verification quality.


Pas de formation renseignée