09 nov
|
Confidential
|
Barcelona
09 nov
Confidential
Barcelona
Semidynamics in Barcelona, Spain seeks a static formal verification lead to ensure functional correctness and low-power intent across the design lifecycle. Descubra exactamente qué habilidades, experiencia y cualificaciones necesitará para tener éxito en este puesto antes de enviar su solicitud a continuación. You will drive RTL-to-Gate and Gate-to-Gate equivalence checks, debug LEC issues, and ensure seamless convergence between RTL, synthesis, and physical design for hierarchical designs. xcskxlj The role requires 7+ years in Formal Verification/LEC, expertise with Synopsys Formality/VC LP, and strong scripting skills (TCL/Python/Perl).
📌 Lead Formal Verification (Barcelona)
🏢 Confidential
📍 Barcelona