Stage Ingénieur

Sujet : Vérification d’un contrôleur de cache en utilisant une méthodologie innovante à mi-chemin entre la preuve formelle et la simulation. Un soin tout particulier devra être apporté à la façon dont les erreurs sont reportée de façon à réduire au maximum les temps de debug et optimiser l’usage d’IA. En bref Mots-clés : IC Design, CPU Architecture, Network-on-Chip (NoC), IC Verification, UVM, Modeling, Scala

Compétences:
Double compétence en développement logiciel et conception de circuits intégrés Localisation : Sophia Antipolis (06), France Durée : 6 mois Début : Février 2027 Rémunération : Oui Niveau d'études : Bac +5 Possibilité d'embauche à l'issue du stage : Oui Compétences acquises en fin de stage Au cours de ce stage, vous développerez des compétences dans les domaines suivants :
• Développement de logiciels complexes à l'aide des langages de programmation les plus récents.
• Programmation orientée objet.
• Vérification de circuits numériques complexes et hautement configurables.
• Mise en œuvre de méthodes logicielles innovantes pour améliorer la couverture de tests.
• Architecture des réseaux d'interconnexion (Network-on-Chip) des systèmes sur puce (SoC). Description Rattaché(e) à l'équipe Advanced Engineering, au sein du département R&D, vous participerez, en collaboration avec les membres de l'équipe, au développement de l’environnement de vérification d'un circuit numérique hautement configurable permettant la génération automatique de Network-on-Chip (NoC). Vous étudierez un mécanisme d’« ordering scoreboard » qui se base sur une trace d’évènements, identifierez ses limitations actuelles, et développerez un nouveau modèle construit spécifiquement pour vérifier la logique interne d’une générateur de mémoire cache. Le poste est basé à Sophia Antipolis (06). Vous intégrerez une équipe d'experts en développement logiciel et en conception de circuits intégrés au sein de la direction Advanced Engineering d'Arteris. Responsabilités Votre mission consistera à :
• Etudier et analyser : comprendre les fondements mathématiques de notre moteur de vérification et analyser ses limitations quand il est appliqué à des comportements complexes de caches
• Spécifier : définir une nouvelle machine à état capable de suivre l’état des lignes de caches et vérifier la validité de leurs transitions
• Implémenter : implémenter le nouveau modèle de vérification en C++ 2020 et créer les couches d’adaptations pour supporter divers protocoles AMBA (AXI/CHI)
• Optimiser : Aborder les problèmes d’algorithmique liés à la concurrence d’évènements et trouver des solutions techniques permettant de garder des temps d’analyse acceptables
• Valider : tester votre solution sur de vrais systèmes et prouver qu’il peut trouver des bugs fonctionnels complexes.

Profil recherché
Vous êtes actuellement en dernière année d'école d'ingénieurs ou en Master 2 (Bac +5), avec une spécialisation en informatique et/ou microélectronique. Vous possédez de solides bases en programmation orientée objet et/ou fonctionnelle et avez déjà réalisé des projets en conception de circuits intégrés. Vous avez un fort intérêt dans la vérification « hardware », les algorithmes et la résolution de problèmes logiques complexes. Compétences techniques
• Bonne maîtrise d'au moins un langage de programmation moderne (C++, Java ou équivalent).
• Bonne maîtrise de langages de scripts modernes (python ou équivalent).
• Intérêt pour la conception de circuits numériques et les architectures Network-on-Chip (NoC).
• Première expérience ou connaissances en vérification de circuits numériques (UVM ou méthodologies similaires appréciées).
• Une connaissance des bonnes pratiques de développement logiciel est un plus.
• Familiarité avec les outils de gestion de versions (Git) et de suivi de projets (Jira) est appréciée.
• Bon niveau d'anglais, indispensable pour évoluer dans un environnement international.

À propos
d'Arteris Arteris est un leader mondial des solutions de propriété intellectuelle (IP) pour les systèmes électroniques, utilisées dans l’industrie des semi-conducteurs afin d’accélérer la conception de puces hautes performances et à faible consommation énergétique. Les technologies d’Arteris, notamment les solutions d’interconnexion Network-on-Chip (NoC), les logiciels d’automatisation de l’intégration des systèmes sur puce (SoC) et les technologies d’assurance de la sécurité matérielle, sont utilisées par les plus grandes entreprises mondiales des secteurs des semi-conducteurs et des technologies. Elles permettent d’améliorer les performances globales, d’accroître la productivité des équipes d’ingénierie, de réduire les risques et les coûts, et d’accélérer la mise sur le marché de conceptions complexes. Pour en savoir plus, rendez-vous sur arteris.com Avec plus de 380 collaborateurs, un siège situé dans la Silicon Valley et des bureaux à travers le monde, nous collaborons aussi bien avec des start-ups qu’avec de grands leaders technologiques pour concevoir la prochaine génération de produits électroniques. Nous croyons en l’humain, au sens de notre mission et à l’impact de nos actions. Rejoignez-nous et contribuez à façonner les technologies de demain. We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.