Ingénieur Vérification Soc - Sécurité H/F

Dans le cadre du développement d’un System-on-Chip (SoC) multicoeur de nouvelle génération destiné à des applications critiques, vous intégrerez une équipe en charge de la vérification des fonctionnalités de sécurité matérielle. Vous contribuerez à la validation de l’architecture de sécurité et des mécanismes de protection afin de garantir la conformité du composant aux exigences de cybersécurité et de sûreté des systèmes embarqués., Définir et exécuter les stratégies de vérification de la sécurité au niveau des sous-systèmes et du SoC.

• Élaborer les plans de vérification, les scénarios de tests et les modèles de couverture associés aux exigences de sécurité.
• Vérifier les fonctionnalités de sécurité matérielle (Secure Boot, Secure Debug, contrôle d’accès, gestion des privilèges, protection mémoire, isolation des domaines de sécurité, etc.).
• Développer et maintenir les environnements de vérification sous SystemVerilog et UVM.
• Concevoir des scénarios de tests dirigés et aléatoires, analyser la couverture et assurer la traçabilité des exigences.
• Identifier et corriger les anomalies liées au RTL et à l’intégration des mécanismes de sécurité.
• Participer aux activités de validation finale (sign-off) et contribuer à l’amélioration continue des méthodologies de vérification., Vérification & Développement
• SystemVerilog, UVM
• AMBA (AXI, AHB, APB)
• Débogage RTL et analyse de chronogrammes (Waveform Analysis)
• Environnement de simulation Cadence
• Python, C
• Architecture SoC
• Assertion-Based Verification (SVA)
• Coverage-Driven Verification

Sécurité matérielle

• Vérification des mécanismes de sécurité : Secure Boot, Secure Debug, contrôle d’accès, gestion des privilèges, protection mémoire et isolation des domaines de sécurité.
• Validation des modules de sécurité matériels (HSM ou équivalent), des registres de sécurité, de la gestion du cycle de vie sécurisé et des mécanismes d’authentification.
• Vérification des mécanismes de provisionnement des clés, de chargement sécurisé du firmware et de remontée des événements de sécurité.
• Expérience des environnements d’intégration de SoC complexes.

Profil recherchéEnvironnement techniqueVérification & DéveloppementSystemVerilog, UVMAMBA (AXI, AHB, APB)Débogage RTL et analyse de chronogrammes (Waveform Analysis)Environnement de simulation CadencePython, CArchitecture SoCAssertion-Based Verification (SVA)Coverage-Driven VerificationSécurité matérielleVérification des mécanismes de sécurité : Secure Boot, Secure Debug, contrôle d’accès, gestion des privilèges, protection mémoire et isolation des domaines de sécurité.Validation des modules de sécurité matériels (HSM ou équivalent), des registres de sécurité, de la gestion du cycle de vie sécurisé et des mécanismes d’authentification.Vérification des mécanismes de provisionnement des clés, de chargement sécurisé du firmware et de remontée des événements de sécurité.Expérience des environnements d’intégration de SoC complexes.Compétences complémentairesConnaissance des concepts ARM TrustZone.Compréhension des enjeux de Functional Safety et de Hardware Security.Requirements-Based Verification (RBV).Utilisation d’outils d’IA pour la vérification et le débogage (appréciée)., * Connaissance des concepts ARM TrustZone.

• Compréhension des enjeux de Functional Safety et de Hardware Security.
• Requirements-Based Verification (RBV).
• Utilisation d’outils d’IA pour la vérification et le débogage (appréciée)., Intelligence artificielle Python Isolation