07 oct
|
Semidynamics
|
Barcelona
07 oct
Semidynamics
Barcelona
Semidynamics in Barcelona, Spain seeks a static formal verification lead to ensure functional correctness and low-power intent across the design lifecycle. 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.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)
🏢 Semidynamics
📍 Barcelona