Semidynamics is seeking a static formal verification lead to ensure functional correctness and low-power intent across the design lifecycle.
Antes de solicitar este puesto, por favor, lea la siguiente información sobre esta posibilidad que encontrará a continuación.
You will drive RTL-to-Gate and Gate-to-Gate equivalence checks, debug LEC failures, and guarantee convergence across synthesis, place-and-route, and ECO cycles. xcskxlj
You will collaborate with RTL, Synthesis, DFT, and Physical Design teams to resolve design mismatches, perform ECO validation, and develop automation for LEC sign-off.
#J-18808-Ljbffr
📌 Senior Formal Verification Lead - RTL/Power Convergence (Barcelona)
🏢 Semidynamics
📍 Barcelona
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.