Descriptif du poste:\nSalaire: 40 000 à 48 000 \nContexte \n\nDans 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.\n\nVos missions \n* \nDéfinir et exécuter les stratégies de vérification de la sécurité au niveau des sous-systèmes et du SoC. \n* \nÉlaborer les plans de vérification, les scénarios de tests et les modèles de couverture associés aux exigences de sécurité. \n* \nVé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.). \n* \nDévelopper et maintenir les environnements de vérification sous SystemVerilog et UVM. \n* \nConcevoir des scénarios de tests dirigés et aléatoires, analyser la couverture et assurer la traçabilité des exigences. \n* \nIdentifier et corriger les anomalies liées au RTL et à l'intégration des mécanismes de sécurité. \n* \nParticiper aux activités de validation finale (sign-off) et contribuer à l'amélioration continue des méthodologies de vérification. \n\nProfil recherché:\n\nEnvironnement technique\n\nVérification & Développement \n* \nSystemVerilog, UVM \n* \nAMBA (AXI, AHB, APB) \n* \nDébogage RTL et analyse de chronogrammes (Waveform Analysis) \n* \nEnvironnement de simulation Cadence \n* \nPython, C \n* \nArchitecture SoC \n* \nAssertion-Based Verification (SVA) \n* \nCoverage-Driven Verification \nSécurité matérielle \n* \nVé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é. \n* \nValidation 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. \n* \nVé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é. \n* \nExpérience des environnements d'intégration de SoC complexes. \nCompétences complémentaires \n* \nConnaissance des concepts ARM TrustZone. \n* \nCompréhension des enjeux de Functional Safety et de Hardware Security. \n* \nRequirements-Based Verification (RBV). \n* \nUtilisation d'outils d'IA pour la vérification et le débogage (appréciée).