Ingeniero de Verificación de Coherencia

Descripción

Resumen: Únase como Ingeniero de Verificación de Coherencia para garantizar la corrección y funcionalidad de diseños digitales complejos mediante metodologías avanzadas de verificación. Aspectos destacados: 1. Asegurar la corrección y funcionalidad de diseños digitales complejos 2. Trabajar dentro del equipo de verificación en arquitectura de microprocesadores 3. Utilizar metodologías y herramientas avanzadas de verificación ID: VER\-Coh ###### **Descripción** ¡Estamos contratando! ¿Le apasiona la arquitectura de microprocesadores? ¡Lo necesitamos! Como Ingeniero de Verificación de Coherencia, trabajará dentro del equipo de verificación y desempeñará un papel fundamental para garantizar la corrección y funcionalidad de diseños digitales complejos a nivel de transferencia de registros (RTL), según la especificación, utilizando metodologías y herramientas avanzadas de verificación para validar dichos diseños. **¿Qué ofrecemos?** Horarios laborales flexibles, remuneración competitiva, un entorno altamente formativo y oportunidades de progreso profesional. ¡Únase a nosotros en la hermosa ciudad de Barcelona! Incluye caramelos, café y clases gratuitas de español. (Patrocinio de visa si es necesario) ###### **Requisitos** * Máster o doctorado * Inglés nivel C1 * Experiencia industrial \+8 años * Competencia en SystemVerilog y UVM * Conocimientos de lenguajes de scripting (Python, Perl, Bash, TCL) y herramientas de regresión * Experiencia con simulación y herramientas de simulación * Conocimiento de la metodología y herramientas de control de versiones (git, svn) * Experiencia en verificación a nivel de bloque y a nivel de subsistema o sistema completo * Experiencia en verificación formal y dinámica * Excelentes habilidades para la resolución de problemas y atención al detalle * Excelentes capacidades de comunicación y trabajo en equipo * Conocimiento del protocolo CHI * Comprensión de la estructura y los parámetros de las cachés * Experiencia en la verificación de sistemas coherentes