The MITRE Corporation
Meta
Ingeniero de Implementación ASIC - Verificación Estática
Python
Traducción automática. Consulta el original.
Sobre la oportunidad
Meta está contratando Ingenieros de Implementación Frontend ASIC dentro de nuestra organización de Infraestructura. Buscamos personas con experiencia en implementación front-end desde RTL hasta netlist, incluyendo RTL Lint, análisis CDC, restricciones de temporización, síntesis para construir System on Chip (SoC) y IP eficientes para aplicaciones de centros de datos.
Responsabilidades
- Realizar cruces de dominio de reloj (CDC) jerárquicos y planos, y trabajar con los diseñadores para analizar los complejos cruces de dominio de reloj y firmar el CDC.
- Realizar comprobaciones de cruce de dominio de reinicio (RDC) jerárquicos y planos. Comprender la arquitectura de reinicio trabajando con los equipos de Diseño y FW y desarrollar grupos de reinicio y la secuencia de reinicio correspondiente para RDC.
- Realizar RTL Lint y trabajar con los diseñadores para crear exenciones.
- Realizar análisis DFT de RTL y mejorar la cobertura DFT para fallos Stuck-at.
- Ejecutar síntesis lógica/física utilizando técnicas avanzadas de optimización y generar Netlist a nivel de puerta optimizado para temporización, área y potencia.
- Desarrollar scripts de automatización y metodología para todas las herramientas FE, incluyendo (Lint, CDC, RDC).
- Trabajar en estrecha colaboración con los Ingenieros de Diseño, Ingenieros de DV e Ingenieros de Emulación para apoyarles en las tareas de entrega. Interactuar con los Ingenieros de Diseño Físico y proporcionarles retroalimentación sobre temporización/congestión.
Requisitos Mínimos
Actualmente tener, o estar en proceso de obtener, un título de Grado en Ciencias de la Computación, Ingeniería Informática, campo técnico relevante o experiencia práctica equivalente. El título debe completarse antes de unirse a Meta.
- Título de Grado en Ciencias de la Computación, Ingeniería Informática, campo técnico relevante o experiencia práctica equivalente.
- 2 años de experiencia en herramientas de verificación estática.
- Experiencia con Lint, cruce de dominios de reloj y dominios de reinicio.
- Experiencia con la firma de CDC de SOC.
- Conocimiento de la integración de SOC (reloj, reinicio, PLL, etc.).
- Conocimiento de flujos ASIC front-end.
- Experiencia con diseño RTL utilizando SystemVerilog u otro HDL.
- Experiencia comunicándose con equipos internos funcionales y proveedores.
Requisitos Preferidos
- Experiencia con Design Compiler, Spyglass, PrimeTime, Formality o herramientas equivalentes.
- Experiencia en scripting y programación utilizando Perl/Python, TCL y Make.
- Experiencia con análisis Netlist-CDC y mejora de MTBF.
- Experiencia desarrollando comprobaciones estructurales basadas en reglas para RTL y Netlist.
- Conocimiento de bibliotecas de temporización/físicas, memorias SRAM.
- Experiencia con la integración de diseño SOC e implementación Front-End.
$114,000/año a $172,000/año + bonus + acciones + beneficios
