05 ago
|
TechBiz Global
|
Madrid
05 ago
TechBiz Global
Madrid
TechBiz General seeks a Senior Formal Verification Engineer to lead formal verification efforts for vector unit blocks and arithmetic units. You will design scalable testbenches, write mathematical properties, and ensure the integrity of vector pipelines in collaboration with VU microarchitects.
The role emphasizes deep formal analysis, case-splitting techniques, and close partnership with simulation teams to achieve formal sign-off on complex designs.
📌 Senior Formal Verification Engineer (Madrid)
🏢 TechBiz Global
📍 Madrid