États-Unis
The MITRE Corporation
Apple
Ingénieur en vérification et analyse temporelle CAD
États-Unis
Sunnyvale, California, United States · Austin, Texas, United States
Python
Traduction automatique. Consultez l’original.
À propos du poste
Le silicium personnalisé d'Apple compte parmi les plus sophistiqués au monde, et sa conception exige une vérification temporelle rigoureuse au niveau du transistor ainsi qu'une vérification formelle à chaque étape. Notre équipe de timing personnalisé CAD développe et gère les flux, les outils et les méthodologies qui rendent cette vérification possible. Nous recherchons un ingénieur débutant désireux d'apprendre, curieux sur le plan technique et enthousiaste à l'idée de travailler à l'intersection de la conception de circuits et de l'ingénierie CAD.
DESCRIPTION
Dans ce rôle, vous soutiendrez et développerez des flux pour deux des disciplines de validation les plus critiques dans la conception de circuits intégrés personnalisés : la vérification temporelle au niveau du transistor utilisant NanoTime et la vérification formelle utilisant ESP. Vous travaillerez en étroite collaboration avec des concepteurs analogiques et numériques sur de multiples programmes et nœuds technologiques, en les aidant à configurer les flux, à déboguer les problèmes et à obtenir une validation conforme. Votre travail influencera directement la qualité et le calendrier des puces les plus avancées d'Apple.
QUALIFICATIONS MINIMALES
- Diplôme minimum de niveau Licence (BS) en génie électrique, génie informatique, informatique ou domaine connexe + 10 ans d'expérience pertinente dans l'industrie
- Solide expérience en programmation ou en script avec Perl, Python, TCL ou un langage similaire
- Solide compréhension de la conception de circuits intégrés numériques ou personnalisés et de l'analyse temporelle statique acquise par le biais de cours ou d'expériences de stage
QUALIFICATIONS SOUHAITÉES
- Expérience pratique des outils de vérification temporelle au niveau du transistor et de vérification formelle tels que NanoTime, ESP, PrimeTime ou HSPICE, incluant la gestion de flux et le développement de méthodologies
- Connaissance approfondie de la logique dynamique, des matrices de mémoire ou des techniques de circuits à signaux mixtes, et capacité à déboguer des problèmes complexes de timing et de vérification de manière autonome
- Expérience avec les netlists SPICE, les modèles de dispositifs et les formats d'extraction parasite tels que DSPF ou SPF dans le contexte de la validation temporelle
- Expérience avec les méthodologies de vérification formelle et le RTL SystemVerilog, incluant la vérification d'équivalence RTL-vers-schéma
- Expérience avérée dans la conduite de collaborations interfonctionnelles avec les équipes de conception, de layout et les fournisseurs EDA pour résoudre les problèmes liés aux outils et aux méthodologies
- Expérience dans le développement ou la contribution à la documentation des méthodologies et des meilleures pratiques CAD à l'échelle de l'organisation
- Familiarité avec les flux de travail CAD pilotés par l'IA/ML et intérêt pour l'application des techniques d'IA générative à l'automatisation des flux et à l'analyse temporelle
- Excellent communicant capable de présenter clairement des travaux techniques à ses pairs et à la direction, et de mener les problèmes à leur résolution à travers les différentes équipes
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