[ad_1]
Ubicación: Bangalore
Compañía: Nvidia
NVIDIA busca un ingeniero de verificación formal de élite para revisar el diseño y la implementación de unidades de diseño para los SoC y GPU más importantes del mundo. Este puesto ofrece la oportunidad de generar un impacto real en una empresa dinámica impulsada por la tecnología que influye en líneas de productos que van desde gráficos de consumo hasta automóviles autónomos y el creciente campo de la inteligencia artificial. Hemos reunido un equipo de personas destacadas en todo el mundo cuya misión es ampliar los límites de lo que es posible hoy y definir la plataforma para el futuro de la informática. En NVIDIA, a nuestros empleados les apasiona la computación visual y paralela. Estamos unidos en nuestro compromiso de transformar la forma en que se utilizan los gráficos para resolver algunos de los problemas más complejos de la informática.
Originalmente, la GPU era un motor para simular la imaginación humana, evocando los asombrosos mundos virtuales de los videojuegos y las películas de Hollywood. Hoy en día, la GPU de NVIDIA simula la inteligencia humana, ejecuta algoritmos de aprendizaje profundo y actúa como el cerebro de computadoras, robots y vehículos autónomos que pueden percibir y comprender el mundo. NVIDIA es cada vez más conocida como “la empresa de informática con IA”. Como ingeniero de verificación formal en Nvidia, usted es responsable de la verificación formal de diseños complejos. NVIDIA ha desarrollado una sólida metodología de verificación formal funcional que no solo permite a los ingenieros de verificación y diseño de hardware utilizar con éxito herramientas y técnicas de FV simples, sino que también les permite a los ingenieros de FV utilizar técnicas avanzadas de prueba de propiedades para lógica RTL compleja y/o crítica. El trabajo implica una colaboración muy estrecha con el equipo de diseño, el equipo de arquitectura, otros equipos de validación y con el grupo interno de I+D de FV de Nvidia, que desarrolla herramientas de verificación funcional utilizando tecnología de verificación formal.
Qué harás
- Ayudan a decidir la mejor aplicación de técnicas de verificación formal para diferentes partes del diseño.
- Revisará las especificaciones funcionales y de microarquitectura, definirá el alcance de la verificación formal y creará planes de prueba de verificación formal de alta calidad para aprobar la implementación del diseño correspondiente.
- Creará bancos de pruebas de verificación formal, aserciones y restricciones de código, y aplicará técnicas de abstracción para converger propiedades de destino o lograr la profundidad de prueba adecuada.
- Aplica técnicas de cobertura formal para analizar restricciones excesivas y medir la cobertura funcional.
- Diseñará y desarrollará flujos de verificación funcionales que incluyan herramientas formales tanto de proveedores como desarrolladas internamente.
Lo que necesitamos ver
- B.Tech./M.Tech o equivalente con más de 2 años de experiencia relevante.
- Buen conocimiento de la microarquitectura y el diseño de hardware.
- Familiarizado con las tecnologías de verificación formal, incluidas las técnicas de reducción de la complejidad.
- Experiencia en revisión formal de propiedades para múltiples entidades complejas.
- Conocimiento en la creación de planes de prueba de alta calidad, la creación de bancos de pruebas formales y la creación de contraejemplos de caché raíz.
Formas de destacar entre la multitud
- Buenas habilidades de depuración y resolución de problemas.
- Conocimientos de scripting (Python/Perl/Shell)
- Buenas habilidades interpersonales y de comunicación y sueño con trabajar como un gran miembro del equipo.
[ad_2]