Ingénieur Vérification SoC – Sécurité (H/F)

Contexte 

Dans le cadre du développement d'un System-on-Chip (SoC) multicœur 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.

Vos missions

• 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.

Environnement technique

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.

Compétences complémentaires

• 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).