Stage - Simulation Et étude de La Robustesse

Chez ST, nous croyons à la puissance de la technologie pour stimuler l'innovation et avoir un impact positif sur les personnes, les entreprises et la société. Nous sommes une entreprise mondiale de semi-conducteurs, et notre technologie avancée ainsi que nos puces constituent la partie invisible du monde dans lequel nous vivons aujourd'hui.

Lorsque vous rejoignez ST, vous faites partie d'une entreprise globale de plus de 115 nationalités et présente dans 40 pays, avec plus de 50 000 créateurs et fabricants de technologies microélectroniques à travers le monde Tous ensemble, nous formons une seule et même ST.

ST a reçu la certification Top Employer France et le label HappyTrainees 2024 qui nous reconnaissent en tant qu’employeur de référence et démontrent notre engagement à placer l’humain au cœur de nos priorités.

Votre stage se déroulera chez STMicroelectronics à Crolles (Isère) au sein de l'équipe R&D Exploration/Haute Fiabilité, qui étudie la fiabilité des systèmes numériques soumis à des défauts radiatifs, pour une utilisation dans de nombreux domaines avec de fortes contraintes de fiabilité et de sécurité fonctionnelle tels que l'aéronautique, l'espace ou l'automobile.

Vous devrez prendre le contrôle d'un MPU industriel de qualité automobile ainsi que de l'environnement existant de fautes et d'injection (par simulation et formel). Vous préparerez les campagnes d'injection de fautes, rédigerez des assertions, exécuterez les preuves formelles et effectuerez une analyse minutieuse des résultats obtenus pour chaque bloc. Vous devrez également explorer les modules internes du CPU, comprendre leurs fonctions et construire automatiquement (en utilisant l'outil logiciel open-source académique GoldMine, réadapté par ST) les propriétés (System Verilog Assertions) pour détecter les fautes. Cette tâche, autour de l'extraction d'assertions pour les blocs internes qui ne se conforment pas aux protocoles de communication standard et bien documentés, sera une tâche importante du stage. Vous devrez évaluer la viabilité et la pertinence d'une telle approche par rapport aux assertions manuscrites rétro-conçues. Vous effectuerez l'analyse FMEA du MPU et proposerez des schémas de durcissement adaptés à chaque bloc. Ensuite, en utilisant des outils de synthèse avancés, vous les implémenterez dans la netlist de portes du MPU.

Pendant ce stage, vous
- Travaillerez sur un MPU et son environnement de simulation matériel et logiciel.
- Étudierez les modules du MPU et générerez automatiquement des propriétés SVA avec GoldMine ou sans, par rétro-ingénierie.
- Réaliserez des injections de fautes par simulation et formelle (Model Checking) sur le MPU, en exécutant différents tests et en détectant les bascules les plus fragiles.
- Comparerez les résultats des assertions extraites avec celles manuscrites.
- Travaillerez en collaboration avec d'autres étudiants actuellement en alternance ou en thèse dans l'équipe.

**Liste des compétences**:

- **Obligatoires**
- C/C++ programming (under Unix), system programming (Unix)
- Unix, bash, Pyhton, scripts, spreadsheets and data manipulation (excel)
- Verilog, digital system architecture
- **Appréciées**
- Theory of graphs and automata
- Data structures and algorithms
- Formal methods, Model Checking
- Functional safety of digital and SoCs systems
- Automotive Functional Safety (ISO26262)

**Niveau d’anglais**: Anglais technique

**Expérience attendue **:Stages, projets, TP étudiant en mathématiques appliquées / informatique

Nous rejoindre, c'est aussi opter pour un meilleur équilibre entre vie professionnelle et vie personnelle, et un environnement de travail offrant des opportunités égales. Des groupes de ressources dédiés aux femmes, aux LGBTQIA+, des possibilités d’organisation du travail hybrides font partie des nombreuses initiatives qui font de ST un endroit propice pour le développement de votre carrière.