États-Unis
Wonderschool
SiFive
Ingénieur Principal en Vérification de Conception – Unité Load-Store (LSU) de Cœur CPU
États-Unis
Austin, Texas, États-Unis · Santa Clara, California, États-Unis
Traduction automatique. Consultez l’original.
À PROPOS DE SIFIVE
En tant que pionniers qui ont introduit RISC-V dans le monde, SiFive transforme l'avenir du calcul en apportant le potentiel illimité de RISC-V aux applications les plus performantes et les plus gourmandes en données au monde. Les plateformes de calcul inégalées de SiFive continuent de permettre aux entreprises technologiques leaders du monde entier d'innover, d'optimiser et de livrer les solutions les plus avancées de demain dans tous les segments du marché de la conception de puces, y compris l'intelligence artificielle, la machine learning, l'automobile, les centres de données, le mobile et le grand public. Avec SiFive, l'avenir de RISC-V n'a pas de limites.
Chez SiFive, nous sommes toujours ravis d'entrer en contact avec des personnes talentueuses, qui sont aussi passionnées par la stimulation de l'innovation et le changement du monde que nous le sommes. Notre innovation constante et notre succès continu sont dus à nos équipes incroyables de personnes extrêmement talentueuses, qui collaborent et se soutiennent mutuellement pour proposer des idées et des solutions véritablement révolutionnaires. Des solutions qui auront un impact énorme sur la vie des gens ; rendant le monde meilleur, un processeur à la fois.
Êtes-vous prêt ?
Pour en savoir plus sur le succès phénoménal de SiFive et découvrir pourquoi nous avons remporté le prestigieux prix de la société privée la plus respectée de la GSA (pour la quatrième fois !), consultez notre site Web sifive.com/ et nos pages Glassdoor glassdoor.com/Overview/Working-at-SiFive-EI_IE1922671.11,17.htm.
Description du poste
À PROPOS DU RÔLE
SiFive recherche un Ingénieur Principal en Vérification de Conception pour diriger la stratégie et l'exécution de la vérification de l'unité Load-Store (LSU) du cœur CPU dans un cœur hors-ordonnancement haute performance.
Il s'agit d'un rôle de chef de file technique principal pour un ingénieur capable de définir une stratégie de vérification consciente de l'architecture, d'identifier tôt les problèmes microarchitecturaux les plus risqués et de résoudre les problèmes de vérification LSU les plus difficiles couvrant l'ordonnancement des chargements/stockages, la gestion des dangers, la cohérence du cache et la cohérence de la mémoire.
Le rôle nécessite un partenariat étroit avec les équipes d'architecture, RTL, formelle, de performance et de vérification pour garantir que l'intention de conception est correctement capturée, que la débogabilité est prise en compte tôt et que la qualité de validation est atteinte avec une méthodologie évolutive et un jugement technique solide.
RESPONSABILITÉS
- Diriger la stratégie de vérification pour le LSU du cœur CPU, y compris la planification, l'exécution, le débogage, l'analyse de couverture et la clôture au niveau du bloc et du cœur.
- Définir les stratégies de vérification pour les comportements complexes du LSU, y compris l'ordonnancement des chargements/stockages, la gestion des dépendances, la détection des dangers, le comportement des barrières et des clôtures, la cohérence de la mémoire, les opérations atomiques et l'interaction avec les règles de cohérence de mémoire faible.
- Piloter la vérification du comportement du LSU face au cache, y compris la gestion des succès et échecs de cache, les snoops, les évictions, les interactions d'état de cohérence et la correction des données à travers la hiérarchie de mémoire L1 et en aval.
- Assurer la vérification des cas limites impliquant des accès superposés, le partage de données (false sharing), les chargements et stockages en attente sur la même ligne de cache, le transfert de données, la réparation d'exécution spéculative et la gestion des réponses hors-ordonnancement.
- Développer des vérificateurs de haute valeur, des tableaux de bord (scoreboards), des assertions, des stratégies de stimulus et des modèles de couverture qui exposent les cas limites et améliorent l'efficacité de la recherche de bugs pour les scénarios de cohérence et de consistance.
- Appliquer la bonne méthode de vérification pour le problème, y compris la simulation, les techniques formelles et l'émulation, pour améliorer la qualité, accélérer les cycles de retour et renforcer l'efficacité du débogage sur de grandes charges de travail de vérification de CPU.
- Collaborer avec les architectes et les concepteurs dès les premières étapes de définition des fonctionnalités pour examiner les spécifications, identifier les ambiguïtés et améliorer la débogabilité de la conception et la qualité de la vérification avant que l'implémentation ne soit finalisée.
- Piloter une analyse efficace des causes profondes à travers les spécifications, le RTL, le contenu des tests, les assertions et l'infrastructure de vérification, en particulier pour les échecs difficiles de cohérence et d'ordonnancement de mémoire.
- Encadrer les ingénieurs de l'organisation, influencer la méthodologie et façonner des approches de vérification réutilisables qui bénéficient aux futures générations de cœurs CPU et de sous-systèmes mémoire.
QUALIFICATIONS MINIMALES
- BS, MS ou PhD en génie électrique, génie informatique, informatique ou domaine connexe.
- 12+ années d'expérience pertinente en vérification fonctionnelle de CPU/cœur ou SoC, avec une profondeur appropriée pour un rôle Principal / T6.
- Expérience directe avec la vérification de cœurs hors-ordonnancement et une solide compréhension de la microarchitecture CPU.
- Expertise approfondie en vérification de l'unité Load-Store, ordonnancement et cohérence de la mémoire, ou domaines de microarchitecture de cœur CPU étroitement liés.
- Solide compréhension des systèmes à cohérence de cache, du comportement de la hiérarchie mémoire et de la vérification des sémantiques d'ordonnancement, de snooping et de contrôle de flux à travers le sous-système mémoire.
- Solide connaissance de la méthodologie de vérification, y compris la planification des tests, la génération de stimulus, l'analyse des défaillances, l'analyse de couverture et la clôture de la couverture.
- Solides compétences en débogage et capacité à traduire l'intention architecturale en stratégie et exécution de vérification efficaces.
- Solides compétences en développement logiciel, en scripting et en automatisation pour la construction d'une infrastructure et de flux de travail de vérification évolutifs.
BS/MS/Ph.D en EE, CE ou CS
12+ années d'expérience pertinente en vérification fonctionnelle de Cœur/CPU
8+ années d'expérience directe en vérification de la gestion mémoire
Compréhension approfondie de l'architecture informatique
Développeur expérimenté utilisant les principes de programmation orientée objet
QUALIFICATIONS PRÉFÉRENTIELLES
- Expérience directe dans la vérification de la cohérence du cache, de l'ordonnancement de mémoire faible et des défis de cohérence mémoire multicœur.
- Expérience avec la vérification formelle des propriétés du LSU ou du sous-système mémoire telles que la correction des données de chargement, l'ordonnancement des stockages, la synchronisation des barrières, la gestion des dépendances, la vivacité (liveness) et le progrès (forward progress).
- Expérience dans la vérification des interactions entre le LSU, la hiérarchie du cache, l'interconnexion cohérente et les limites du sous-système mémoire dans de grands SoC.
- Expérience avec des approches de vérification de type litmus ou orientées modèle mémoire pour exposer des bugs profonds de cohérence et de consistance.
- Expérience de collaboration efficace avec les équipes de performance, de compilateurs, de logiciels, formelles et de vérification système pour combler les lacunes de vérification sous plusieurs perspectives.
- Leadership technique démontré par le mentorat d'ingénieurs, l'influence sur la méthodologie et la conduite de l'exécution inter-équipes sur des efforts de vérification complexes.
À QUOI RESSEMBLE LE SUCCÈS
- Les plans de vérification capturent tôt et complètement les risques réels de l'architecture et de la microarchitecture du LSU.
- Les bugs LSU difficiles impliquant la cohérence, l'ordonnancement, la consistance et les cas limites de permissions de cache sont trouvés tôt, débogués efficacement et clôturés avec des corrections durables.
- La qualité de la vérification s'améliore dans l'ensemble de l'organisation DV CPU grâce à une méthodologie plus solide, de meilleurs conseils techniques et une infrastructure réutilisable.
- Les équipes d'architecture, de conception et de DV s'appuient sur cet ingénieur en tant que leader technique pour les défis de vérification les plus complexes du LSU et du sous-système mémoire dans le développement de CPU haute performance.
Travail sur la résolution des défis de vérification des unités de gestion mémoire qui sont réutilisées à travers plusieurs générations différentes de Cœurs, ainsi que l'unité de gestion mémoire IO. Cela inclut l'hyperviseur, la virtualisation et la virtualisation invité.
Informations supplémentaires
Ce poste nécessite une vérification réussie des antécédents et des références, ainsi qu'une preuve satisfaisante de votre droit de travailler aux États-Unis d'Amérique.
Toute offre d'emploi pour ce poste est également conditionnée à la vérification par la Société que vous êtes autorisé à accéder à la technologie soumise aux lois applicables sur le contrôle des exportations ou, si vous n'êtes pas déjà autorisé, à notre capacité à obtenir avec succès toute licence d'exportation ou autre approbation nécessaire.
SiFive est un employeur garantissant l'égalité des chances. Nous célébrons la diversité et nous nous engageons à créer un environnement inclusif pour tous les employés.
En tant qu'employeur E-Verify, nous utilisons ce système pour confirmer l'éligibilité à l'emploi de tous les nouveaux employés conformément à la loi fédérale. Tous les candidats devront remplir un formulaire I-9, Vérification de l'éligibilité à l'emploi, lors de l'embauche. Nous n'utilisons pas E-Verify pour présélectionner les candidats et nous nous conformerons à tous les règlements E-Verify.
En plus du salaire de base, ce rôle peut être éligible à une rémunération variable/incitative et/ou à des actions. De plus, ce rôle est éligible à un ensemble complet et compétitif d'avantages sociaux qui peuvent inclure des régimes de santé et de retraite, des congés payés, et plus encore !
Plus d’opportunités avec un seul profil
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil