Ingénieur·e Vérification H/F - L'Industrie recrute

? Redéfinir l'Avenir, Sans Épuiser la Planète ?

Imaginez un monde où chaque appareil connecté devient un héros silencieux de la durabilité, où la haute technologie et l'écoresponsabilité avancent main dans la main. Chez Dolphin Semiconductor, ce n'est pas qu'une vision. C'est notre mission au quotidien.

? Haute Énergie, Faible Empreinte Écologique ?

La soif insatiable de dispositifs plus intelligents et plus rapides entraîne une explosion de la demande énergétique. Mais qui a dit que l'innovation devait se faire au détriment de notre planète ? Notre expertise en efficacité énergétique apporte une réponse aux dilemmes de notre ère numérique.

? 37 Ans d'Innovation Responsable ?

Depuis plus de trois décennies, nous sommes au coeur de l'écosystème des circuits intégrés fabless. Nous avons gagné notre place en tant que référence mondiale - pas de n'importe quelle manière, mais de la bonne manière. Nos IP alimentent les appareils que vous utilisez tous les jours.

? L'Excellence dans des Secteurs Variés ?

Nos solutions se trouvent au coeur des produits grand public haut de gamme (smartphones, caméras, enceintes sans fil, TWS, IoT). Où que vous soyez, quoi que vous fassiez, la technologie Dolphin Semiconductor est là pour garantir des performances optimales sans gaspillage d'énergie.

? Rejoignez Notre Mission ?

Nous invitons partenaires, innovateurs et visionnaires à nous rejoindre dans notre quête pour un avenir plus efficace et plus vert. Parce que chaque watt économisé compte. Parce que chaque produit que nous améliorons est une victoire pour un monde plus durable.

Pour accompagner la croissance de notre activité Power Management et répondre aux besoins de nos clients en densité, consommation d'énergie et fréquence de fonctionnement de leurs circuits intégrés, nous recherchons un·e Ingénieur·e Vérification IP (F/H), basé·e à Meylan (38).

Au sein de notre équipe vérification, vous serez 100 % dédié·e à la vérification fonctionnelle de produits visant à optimiser l'efficacité énergétique des circuits de nos clients, dans des domaines tels que l'Edge-IoT, l'automobile et le calcul haute performance (HPC).

En collaboration étroite avec les ingénieurs vérification expérimentés, les tech leads et les concepteurs, vous contribuerez à la mise en oeuvre de stratégies de vérification efficaces, permettant de réduire les temps de validation tout en maximisant la couverture, pour atteindre les objectifs de performance et de consommation d'énergie de produits tels que le Maestro Power Manager Unit (PMU) et le capteur de marge distribué Meerkat.

Pour les IPs à destination du marché automobile, vous participerez à la vérification des exigences ISO 26262 et à l'évaluation de la robustesse des blocs face aux fautes permanentes et transitoires. Ce poste vous permettra d'élargir progressivement votre périmètre - de la simulation UVM vers l'injection de fautes et la vérification formelle.

Vos missions

Vérification fonctionnelle (UVM)

- Contribuer à la définition du plan de vérification (méthodologie orientée couverture) à partir des spécifications produits et en assurer le suivi jusqu'à la clôture sur votre périmètre
- Développer et déboguer des environnements de vérification UVM : agents, séquences, virtual sequencer, scoreboards, modèles de référence, RAL (uvm_reg), factory, callbacks, configuration hiérarchique
- Développer des testbenches réutilisables et paramétrés (SystemVerilog), portables d'une configuration d'IP à l'autre
- Écrire des stimuli dirigés et aléatoires contraints, exploiter la randomisation contrainte

- Développer les checkers et les assertions SVA ainsi que la stratégie de bind associée
- Déboguer les écarts spécification / RTL et assurer le support à l'équipe de conception sur votre périmètre
- Intégrer et configurer des VIP protocolaires ou développer les agents UVM lorsque l'IP l'exige
- Développer les checkers de conformité protocolaire, les scoreboards de bout en bout et la couverture protocolaire dédiée (transactions, back-to-back, cas limites, gestion d'erreurs, arbitrage)

Sûreté de fonctionnement et injection de fautes (ISO 26262)

- Participer à la vérification des exigences de sûreté et à la justification des métriques matérielles (SPFM, LFM, PMHF)
- Développer et exécuter les campagnes d'injection de fautes (stuck-at pour les fautes permanentes, SEU/SET pour les fautes transitoires) : instrumentation du testbench, sélection et propagation des fautes, définition des détecteurs et des observables
- Analyser les résultats de fault campaign, contribuer à la classification des fautes (détectées, non détectées, sûres, résiduelles) et alimenter l'analyse FMEDA
- Remonter aux concepteurs les pistes d'amélioration identifiées sur les mécanismes de sécurité
Monter en compétence sur les outils de simulation de fautes et de vérification formelle de sûreté (FSV) pour réduire l'effort de qualification des fautes non classifiées

Couverture

- Implémenter la stratégie de couverture fonctionnelle : covergroups, coverpoints, crosses, bins et transitions dérivés du plan de vérification, y compris sur des IPs paramétrées
- Analyser la couverture de code (ligne, branche, condition, expression, toggle, FSM)
Analyser les trous de couverture, justifier et documenter les exclusions, renseigner les waivers dans les fichiers de refinement avec leurs justificatifs
- Utiliser les outils de gestion de couverture et de régression et contribuer à la clôture de couverture jusqu'aux critères de sign-off

Vérification formelle

- Développer les propriétés SVA, les contraintes d'environnement (assumes) et les stratégies permettant d'atteindre la convergence
Mettre en oeuvre les formal apps pertinentes : property checking (FPV), connectivity check, register map check, X-propagation, détection de deadlock, analyse de faisabilité pour justifier les waivers de couverture
- Analyser et déboguer les contre-exemples, statuer sur la complétude formelle (proof core, couverture formelle)
- Utiliser les outils Questa Formal et JasperGold

Méthodologie et exécution de projet

- Exploiter les techniques, outils et technologies de vérification les plus récents
- Contribuer à l'amélioration continue et à la maintenance de la méthodologie et du flot de vérification
- Participer à l'estimation de la charge et au suivi d'avancement de vos activités
- Travailler en collaboration étroite avec les tech leads, chefs de projet, concepteurs et autres membres de l'équipe

Vous êtes sur le point de devenir un Dolphin...

Vous êtes diplômé·e d'une école d'ingénieur ou titulaire d'un Master (Bac +5) et justifiez d'au moins 5 ans d'expérience en vérification fonctionnelle de circuits numériques.

Vous faites preuve de curiosité technique, de rigueur d'analyse et avez un goût pour le debug.

Compétences et expériences indispensables :

- Bonne maîtrise de la méthodologie UVM et première expérience significative sur un environnement de vérification complet
- Bonne maîtrise de SystemVerilog pour la vérification (classes, contraintes, interfaces, assertions SVA) et capacité à lire et comprendre le RTL (Verilog / SystemVerilog / VHDL)
- Pratique des techniques de couverture fonctionnelle et de couverture de code, compréhension de la démarche de coverage closure (analyse des trous, waivers)
- Expérience de vérification d'au moins un protocole de communication standard (APB/AHB/AXI, I2C/SPI/I3C ou équivalent)
- Bon niveau en scripting (Tcl, Shell, Python, Perl...) pour l'automatisation des flots de vérification et des régressions
- À l'aise dans un environnement Linux et Windows
- Pratique des outils EDA de simulation, de couverture et de debug (Cadence, Siemens EDA, Synopsys)

Compétences et expériences appréciées :

- Sensibilisation à la vérification de sûreté de fonctionnement ISO 26262 et aux campagnes d'injection de fautes
- Première expérience en vérification formelle (Questa Formal, JasperGold ou équivalent)
- Familiarité avec SVN et Git