STAGE : Développement d'un générateur de code SPARC pour Tiny C Compiler
Sujet
Le stage se situe dans le contexte de la vérification de composants virtuels avec le simulateur SMASH mettant en œuvre la génération et la compilation de modèles décrits en langage C (pour le support des assertions PSL/SVA, le calcul d'expressions ou plus généralement la génération de modèles comportementaux). Tiny C Compiler semble être une excellente alternative à GCC pour la génération de librairies dynamique, mais ne dispose pas d'un générateur de code SPARC, ce qui en fait une solution partielle à la compilation des modèles.
Le stage consiste à:
- étudier le compilateur Tiny C Compiler (TCC) et en comprendre le fonctionnement
- spécifier pour TCC un générateur de code pour l'architecture SPARC ; celui-ci pourra s'appuyer sur GNU Lightning (si cette technologie semble adaptée aux besoins) afin de pouvoir cibler d'autres architectures
- développer et documenter le générateur de code
- écrire une suite de validation pour TCC afin de tester le générateur de code développé
L’intérêt pour le stagiaire est d’être confronté à des problématiques techniques stimulantes dans le cadre du développement d’un produit innovant dans le domaine de la conception de circuits électroniques.
Profils recherché
Bac +5 avec des connaissances techniques :
- développement C
- assembleur (idéalement SPARC)
- compilation
Stage basé à : Meylan
Stage à pourvoir : Dès que possible
Durée du stage : 3 mois
Envoyer votre candidature
par email: careers@dolphin.fr
Ou écrire s/ref DOL-STG-SPARC à :
DOLPHIN, BP 65, 38242 MEYLAN CEDEX
Phone: +33 4 76 41 74 04
Fax: +33 4 76 90 29 65
< Retour aux offres d’emploi
|
