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

Job description

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. Développer de nouveaux scénarios de test lorsque certaines dérogations s’avèrent injustifiées, et améliorer les tests existants Renforcer la couverture fonctionnelle de l’IP MI2C_CTRL Étudier l’utilisation de l’IA pour améliorer l’efficacité du testbench, par exemple en : générant des scénarios de test négatifs suggérant ou générant automatiquement des assertions vérifiant la conformité au protocole dans des séquences I²C spécifiques. Après l’achèvement de la vérification de l’IP, ce stage pourra être poursuivi soit dans la vérification d’un SoC, soit dans la vérification d’IP. Votre Profil Niveau d’études : Bac + 5, dernière année d’école d’ingénieur en spécialité Circuits Intégrés, Systèmes Electroniques Intégrés, Electronique, Micro-Electronique. Curieux(se) : désireux(se) d'approfondir des sujets techniques complexes et d'explorer des approches innovantes. Ouvert(e) d'esprit : à l'aise pour apprendre de nouvelles méthodologies et faire le lien entre les concepts numériques (digital) et analogiques. Autonome : capable de travailler de manière indépendante, d'investiguer les problèmes et de proposer des solutions. Solide techniquement : disposant de connaissances de base en conception numérique, en SystemVerilog et en concepts de vérification. Motivé(e) à progresser dans la vérification d'IP ou de SoC en contribuant à des solutions innovantes. Un bon niveau d'anglais est exigé. Context Verification team located in Caen within the Business Line « Secure Transactions and Identification (STI) » is looking for an intern engineer for a 6-months period (starting first 2027 quarter) in order to improve digital verification of I2C Module embedded into our NFC (Near Field Communication) components. This internship is taking place within the Digital Verification Team for STI Business Line offering solutions for secure mobility and retail, secure payment and identity, IoT security, NFC infrastructure and Secure Embedded transactions. This team is tasked with delivering High Quality solutions for Mobile Transactions to demanding Mobile customers. Verification Team is involved in all Verification activities from Specifications to Tape-Out, validation, ramp to production and customer support. Responsibilities The main mission of that internship consists to improve IP verification coverage. The trainee will support and perform the main missions : Review and take ownership of existing verification environment. Implement assertions and formal verification to justify existing waivers used in the IP Develop additional test scenarios when certain waivers are found to be unjustified, and enhance existing tests. Improve functional coverage of the MI2C_CTRL IP. Investigate the use of AI to strengthen the testbench, for example: Generating negative or corner case test scenarios Suggesting or auto generating assertions Checking protocol compliance in specific I2C sequences This training can be pursued with SoC or IP Verification Your profile : Education : Bac + 5 years, last Engineering School with options : Integrated Circuits, Integrated Electronics Systems, Electronics, Micro-Electronics, Embedded Systems, Electronics Systems. We are looking for a candidate who is: Curious, eager to dive into complex technical topics and explore innovative approaches Open‑minded, comfortable learning new methodologies, combining digital and analog concepts Autonomous, able to work independently, investigate issues, and suggest solutions Technically solid, with digital design knowledge, System Verilog, and verification concepts Motivated to grow in IP or SoC verification with innovative solutions A good English proficiency is required. More information about NXP in France... #LI-3842