Estados Unidos
CONCEPT SOLUTIONS LLC
SiFive
Ingeniero Principal de Verificación de Diseño – Unidad Load-Store de Núcleo de CPU
Estados Unidos
Austin, Texas, Estados Unidos · Santa Clara, California, Estados Unidos
Traducción automática. Consulta el original.
SOBRE SIFIVE
Como pioneros que introdujeron RISC-V al mundo, SiFive está transformando el futuro de la computación al llevar el potencial ilimitado de RISC-V a las aplicaciones de mayor rendimiento y más intensivas en datos del mundo. Las plataformas de cómputo inigualables de SiFive continúan permitiendo a las empresas tecnológicas líderes de todo el mundo innovar, optimizar y ofrecer las soluciones más avanzadas del mañana en todos los segmentos del mercado de diseño de chips, incluyendo inteligencia artificial, machine learning, automoción, centros de datos, móviles y consumo. Con SiFive, el futuro de RISC-V no tiene límites.
En SiFive, siempre estamos emocionados de conectar con personas talentosas, que sienten la misma pasión por impulsar la innovación y cambiar el mundo que nosotros. Nuestra constante innovación y éxito continuo se deben a nuestros increíbles equipos de personas increíblemente talentosas, que colaboran y se apoyan mutuamente para proponer ideas y soluciones verdaderamente innovadoras. Soluciones que tendrán un gran impacto en la vida de las personas, haciendo del mundo un lugar mejor, un procesador a la vez.
¿Estás listo?
Para saber más sobre el fenomenal éxito de SiFive y por qué hemos ganado el prestigioso premio GSA a la Empresa Privada Más Respetada (¡por cuarta vez!), consulta nuestra página web sifive.com/ y nuestra página de Glassdoor glassdoor.com/Overview/Working-at-SiFive-EI_IE1922671.11,17.htm.
Descripción del Puesto
SOBRE EL ROL
SiFive busca un Ingeniero Principal de Verificación de Diseño para liderar la estrategia y ejecución de la verificación de la Unidad Load-Store del Núcleo de CPU en un núcleo de ejecución fuera de orden de alto rendimiento.
Este es un rol de liderazgo técnico principal para un ingeniero que pueda definir una estrategia de verificación consciente de la arquitectura, identificar los problemas microarquitectónicos de mayor riesgo de forma temprana y resolver los problemas de verificación de LSU más difíciles que abarcan el orden de carga/almacenamiento, el manejo de peligros, la coherencia de caché y la consistencia de memoria.
El rol requiere una estrecha colaboración con los equipos de arquitectura, RTL, formal, rendimiento y verificación para garantizar que la intención del diseño se capture correctamente, se considere la depurabilidad desde el principio y se logre una calidad de aprobación con una metodología escalable y un sólido juicio técnico.
RESPONSABILIDADES
- Liderar la estrategia de verificación para la LSU del Núcleo de CPU, incluyendo la planificación, ejecución, depuración, análisis de cobertura y cierre a nivel de bloque y de núcleo.
- Definir estrategias de verificación para comportamientos complejos de LSU, incluyendo orden de carga/almacenamiento, manejo de dependencias, detección de peligros, comportamiento de barreras y vallas, consistencia de memoria, operaciones atómicas e interacción con reglas de ordenación de memoria débil.
- Impulsar la verificación del comportamiento de LSU orientado a caché, incluyendo el manejo de aciertos y fallos de caché, snoops, evicciones, interacciones de estado de coherencia y corrección de datos a través de L1 e interacciones de la jerarquía de memoria descendente.
- Ser responsable de la verificación de casos extremos que involucren accesos superpuestos, compartición falsa, cargas y almacenamientos pendientes a la misma línea de caché, reenvío de datos, reparación de ejecución especulativa y manejo de respuestas fuera de orden.
- Desarrollar verificadores de alto valor, scoreboards, aserciones, estrategias de estímulo y modelos de cobertura que expongan casos extremos y mejoren la eficiencia de detección de errores para escenarios de coherencia y consistencia.
- Aplicar el método de verificación adecuado para el problema, incluyendo simulación, técnicas formales y emulación, para mejorar la calidad, acelerar el tiempo de respuesta y fortalecer la eficiencia de depuración en cargas de trabajo de verificación de CPU a gran escala.
- Colaborar con arquitectos y diseñadores desde las primeras etapas de definición de características para revisar especificaciones, identificar ambigüedades y mejorar la depurabilidad del diseño y la calidad de la verificación antes de que la implementación se solidifique.
- Impulsar un análisis eficiente de causa raíz a través de la especificación, RTL, contenido de prueba, aserciones e infraestructura de verificación, especialmente para fallos difíciles de coherencia y ordenación de memoria.
- Ser mentor de ingenieros en toda la organización, influir en la metodología y dar forma a enfoques de verificación reutilizables que beneficien a futuras generaciones de núcleos de CPU y subsistemas de memoria.
CALIFICACIONES MÍNIMAS
- BS, MS o PhD en Ingeniería Eléctrica, Ingeniería Informática, Ciencias de la Computación o un campo relacionado.
- 12+ años de experiencia relevante en verificación funcional de CPU/núcleo o SoC, con profundidad apropiada para un rol Principal / T6.
- Experiencia directa con verificación de núcleos fuera de orden y sólida comprensión de la microarquitectura de CPU.
- Profunda experiencia en verificación de la Unidad Load-Store, ordenación y consistencia de memoria, o áreas de microarquitectura de núcleos de CPU estrechamente relacionadas.
- Sólida comprensión de sistemas con coherencia de caché, comportamiento de la jerarquía de memoria y verificación de semánticas de ordenación, snooping y control de flujo en todo el subsistema de memoria.
- Sólidos conocimientos de metodología de verificación, incluyendo planificación de pruebas, generación de estímulos, análisis de fallos, análisis de cobertura y cierre de cobertura.
- Sólidas habilidades de depuración y la capacidad de traducir la intención arquitectónica en una estrategia y ejecución de verificación efectivas.
- Sólidas habilidades de desarrollo de software, scripting y automatización para construir infraestructura y flujos de trabajo de verificación escalables.
BS/MS/Ph.D en EE, CE o CS
12+ años de experiencia relevante en verificación funcional de Núcleo/CPU
8+ años de experiencia directa en verificación de gestión de memoria
Profundo conocimiento de la arquitectura de computadoras
Desarrollador experimentado que utiliza principios de programación orientada a objetos
CALIFICACIONES PREFERIDAS
- Experiencia directa en la verificación de coherencia de caché, ordenación de memoria débil y desafíos de consistencia de memoria multinúcleo.
- Experiencia con verificación formal de propiedades de LSU o subsistema de memoria, como corrección de datos de carga, ordenación de almacenamiento, sincronización de barreras, manejo de dependencias, vivacidad y progreso.
- Experiencia en la verificación de interacciones entre LSU, jerarquía de caché, interconexión coherente y límites del subsistema de memoria en SoCs grandes.
- Experiencia con enfoques de verificación tipo litmus o orientados a modelos de memoria para exponer errores profundos de coherencia y consistencia.
- Experiencia colaborando eficazmente con equipos de rendimiento, compiladores, software, formal y verificación de sistemas para cerrar brechas de verificación desde múltiples perspectivas.
- Liderazgo técnico demostrado a través de la mentoría de ingenieros, la influencia en la metodología y la dirección de la ejecución entre equipos en esfuerzos de verificación complejos.
QUÉ IMPLICA EL ÉXITO
- Los planes de verificación capturan los riesgos reales de LSU arquitectónicos y microarquitectónicos de forma temprana y completa.
- Los errores difíciles de LSU relacionados con la coherencia, el orden, la consistencia y los casos extremos de permisos de caché se detectan pronto, se depuran de manera eficiente y se cierran con correcciones duraderas.
- La calidad de la verificación mejora en toda la organización de DV de CPU a través de una metodología más sólida, una mejor guía técnica y una infraestructura reutilizable.
- Los equipos de arquitectura, diseño y DV confían en este ingeniero como líder técnico para los desafíos de verificación más complejos de LSU y subsistemas de memoria en el desarrollo de CPU de alto rendimiento.
Trabajar en la resolución de desafíos de verificación de unidades de gestión de memoria que se reutilizan en varias generaciones diferentes de los Núcleos, así como en la unidad de gestión de memoria de E/S. Esto incluye hipervisor, virtualización y virtualización de invitados.
Información Adicional
Este puesto requiere la superación de verificaciones de antecedentes y referencias y una prueba satisfactoria de su derecho a trabajar en los Estados Unidos de América.
Cualquier oferta de empleo para este puesto también está sujeta a que la Compañía verifique que usted está autorizado para acceder a tecnología controlada por exportaciones según las leyes de control de exportaciones aplicables o, si aún no está autorizado, nuestra capacidad para obtener con éxito cualquier licencia de exportación o aprobación necesaria.
SiFive es un empleador que ofrece igualdad de oportunidades. Celebramos la diversidad y estamos comprometidos a crear un entorno inclusivo para todos los empleados.
Como empleador E-Verify, utilizamos este sistema para confirmar la elegibilidad de empleo de todos los nuevos empleados de acuerdo con la ley federal. Se requerirá que todos los solicitantes completen un Formulario I-9, Verificación de Elegibilidad de Empleo, al ser contratados. No utilizamos E-Verify para preseleccionar candidatos y cumpliremos con todas las regulaciones de E-Verify.
Además del salario base, este puesto puede ser elegible para compensación variable/incentivos y/o acciones. Además, este puesto es elegible para un paquete de beneficios integral y competitivo que puede incluir planes de atención médica y jubilación, tiempo libre remunerado y más.
Más oportunidades con un solo perfil
¿Quieres optar a más puestos sin repetir todo el proceso? Crea tu perfil para que te encuentren las empresas que usan Nort.
Crear mi perfil