The MITRE Corporation
Meta
Ingénieur d'Implémentation ASIC - Vérification Statique
Python
Traduction automatique. Consultez l’original.
À propos du poste
Meta recrute des Ingénieurs d'Implémentation ASIC Frontend au sein de notre organisation Infrastructure. Nous recherchons des personnes expérimentées dans l'implémentation front-end de la RTL au netlist, incluant RTL Lint, analyse CDC, contraintes temporelles, synthèse pour construire des System on Chip (SoC) et des IP efficaces pour les applications de data center.
Responsabilités
- Effectuer le Clock Domain Crossing (CDC) plat et hiérarchique et travailler avec les concepteurs pour analyser les crossings complexes et valider le CDC.
- Effectuer les vérifications de Reset Domain Crossing (RDC) plat et hiérarchique. Comprendre l'architecture de reset en travaillant avec les équipes Design et FW et développer les groupes de reset et la séquence de reset correspondante pour le RDC.
- Effectuer le RTL Lint et travailler avec les concepteurs pour créer des waivers.
- Effectuer l'analyse RTL DFT et améliorer la couverture DFT pour les défauts Stuck-at.
- Exécuter la synthèse logique/physique en utilisant des techniques d'optimisation avancées et générer un Netlist optimisé au niveau des portes pour le Timing, l'Area et la Puissance.
- Développer des scripts d'automatisation et une méthodologie pour tous les outils FE, y compris (Lint, CDC, RDC).
- Travailler en étroite collaboration avec les Ingénieurs de Conception, les Ingénieurs DV, les Ingénieurs d'Emulation pour les soutenir dans les tâches de transfert. Interagir avec les Ingénieurs de Conception Physique et leur fournir des retours sur le timing/congestion.
Qualifications minimales
Posséder actuellement, ou être en cours d'obtention, d'un diplôme de Bachelor en Informatique, Ingénierie Informatique, domaine technique pertinent, ou expérience pratique équivalente. Le diplôme doit être obtenu avant de rejoindre Meta.
- Diplôme de Bachelor en Informatique, Ingénierie Informatique, domaine technique pertinent, ou expérience pratique équivalente.
- 2 ans d'expérience dans les outils de vérification statique.
- Expérience avec Lint, Clock Domain & Reset Domain crossing.
- Expérience avec la validation CDC de SOC.
- Connaissance de l'intégration SOC (Clocking, Reset, PLL, etc.).
- Connaissance des flux ASIC front-end.
- Expérience en conception RTL utilisant SystemVerilog ou autre HDL.
- Expérience en communication avec les équipes internes interfonctionnelles et les fournisseurs.
Qualifications préférées
- Expérience avec Design Compiler, Spyglass, PrimeTime, Formality ou des outils équivalents.
- Expérience en scripting et programmation utilisant Perl/Python, TCL et Make.
- Expérience avec l'analyse Netlist-CDC et l'amélioration du MTBF.
- Expérience dans le développement de vérifications basées sur des règles structurelles pour RTL & Netlist.
- Connaissance des bibliothèques Timing/physiques, des mémoires SRAM.
- Expérience avec l'intégration de conception SOC et l'implémentation Front-End.
$114,000/an à $172,000/an + bonus + actions + avantages sociaux
