Stage ingénieur: Amélioration de la vérification d’un contrôleur I2C avec UVM, preuve formelle et IA (H/F)

Contexte L’équipe Vérification de l’unité de produit « Secure Transactions and Identification (STI) » basé à Caen recrute un(e) stagiaire en fin d’étude sur une durée de 6 mois (commençant au premier trimestre 2027) afin d’améliorer la vérification du bloc I2C de nos composants NFC (Near Field Communication, communication en champ proche). Ce stage se déroule au sein de l’équipe Vérification de l’unité de produits STI qui offre solutions et composants pour les marchés de la Téléphonie Mobile, du paiement sécurisé, de l’identification numérique, des objets connectés et des infrastructures NFC. Cette équipe est en charge de vérifier des solutions qualifiées aux principaux acteurs de la Téléphonie et des Transactions Mobile. L’équipe de Vérification est engagée dans toutes étapes de Vérification dans le développement d’un composant : de ses étapes de spécifications aux étapes de mise en fonderie, validation, lancement de la production et support aux clients. Vos Missions La mission principale de ce stage consiste en l’amélioration de la couverture de vérification d’un module I2C. Le(a) stagiaire prendra en charge et réalisera les missions suivantes : Prendre en main un environnement de vérification existant, Développer des assertions et des techniques de vérification formelle afin de justifier les dérogations ( waivers ) actuellement utilisées.