Ingeniero de Verificación RTL / Ingeniero de Verificación FPGA

• 4-8 años de experiencia relevante
• Eres un experto utilizando un lenguaje HDL (VHDL, System Verilog)
• La verificación RTL es una parte esencial de tu caja de herramientas (testbenches dirigidos, verificación formal, UVVM, verificación en hardware objetivo)
• Tienes una excelente capacidad para crear arquitecturas modulares y reutilizables
• Tienes experiencia desarrollando casos de prueba para la verificación basada en requisitos
• Has trabajado bajo la guía de estándares de aseguramiento de diseño (DO-254 o similares, dependiendo de la industria)
• Prefieres crear un script antes que hacer algo dos veces (Python, TCL)
• Eres capaz de integrar nuevas herramientas de verificación en un sistema CI/CD

Valorable

• Entiendes qué es la verificación formal y cómo utilizarla
• Tienes experiencia en diseño FPGA/ASIC
• El uso de herramientas de síntesis es algo natural para ti (Synplify, Vivado, Quartus II)
• Has ganado confianza en tus habilidades de análisis de tiempos estáticos ("Static Timing Analysis") hasta el punto de destacar en la detección y corrección de problemas de temporización

• Trabajo híbrido
• Contrato indefinido a tiempo completo
• Seguro médico privado
• 25 + 2 días de vacaciones flexibles
• Flexibilidad horaria
• Viernes por la tarde libres
• Plan de formación y desarrollo profesional
• Café y snacks gratuitos
• Almuerzo saludable servido diariamente para el personal en la oficina (de lunes a jueves)
• Trabajar con tecnologías de vanguardia

Estamos contratando un "RTL Verification Engineer" / "FPGA Verification Engineer"

El "RTL Verification Engineer" será parte integrante de un equipo que inventa, construye, verifica y mantiene una gran cantidad de "IP Cores" para uso interno, que van desde "IP cores" de aviónica hasta módulos de aplicación personalizados de última generación.

Para ello, liderarás las decisiones de verificación para los "IP Cores" y los diseños completos de "FPGA" utilizados en las placas de ordenador de Clue.

También participarás en la definición de procesos y metodologías para el equipo de RTL relacionados con la verificación, y colaborarás en la integración de estos procesos de verificación en nuestro sistema CI/CD.

Participarás en la definición de planes de verificación, casos de prueba y procedimientos, implementarás "testbenches" de simulación RTL, "testbenches" de verificación formal y scripts para la verificación en hardware objetivo ("HW target"). También elaborarás documentos de resultados de pruebas y mantendrás la trazabilidad entre requisitos, casos de prueba y resultados de las pruebas.

Trabajarás en un entorno colaborativo donde participarás en múltiples revisiones de requisitos, casos de prueba, resultados de pruebas, etc., donde colaborarás estrechamente con otros compañeros para depurar los diseños RTL de Clue y donde ayudarás en la formación de otros compañeros con menos experiencia en verificación.

• Desarrollo de planes de verificación
• Desarrollo de casos de prueba y procedimientos
• Implementación de "testbenches" de simulación RTL
• Implementación de "testbenches" de verificación formal RTL
• Desarrollo de scripts para la verificación RTL en hardware objetivo
• Depuración de diseños RTL
• Definición de procesos y metodologías para el equipo de RTL relacionados con la verificación
• Integración de procesos de verificación en el sistema CI/CD de RTL
• Ayuda con la formación en verificación de otros miembros del equipo

Requisitos: