Job Description Our partner is expanding their
hardware verification team and is looking for a Senior Formal
Verification Engineer to support advanced high performance
processor development. In this role, you will own the formal
verification environment for complex vector execution blocks,
working closely with microarchitecture, RTL and simulation
verification teams. You will play a key role in ensuring
architectural correctness by building scalable formal testbenches,
writing mathematical properties, proving datapath behavior and
finding deep corner case bugs in high complexity arithmetic and
execution logic. Location : Barcelona, Spain - Hybrid
Responsibilities: As a Senior Formal Verification Engineer, your
broad responsibilities will include but are not limited to: • Own
formal verification environments for complex vector unit sub blocks
• Build scalable formal testbenches for execution pipelines and
register interfaces • Write and maintain SystemVerilog Assertions,
SVA • Verify integer and floating point arithmetic datapaths •
Apply word level modeling,



bit blasting and algebraic techniques •
Drive proof convergence and resolve state space issues • Debug
counter examples and translate them into actionable RTL bugs •
Prove compliance with vector architecture specifications • Work
closely with microarchitecture and simulation verification teams •
Define the boundary between simulation and formal verification •
Review and improve assertions written by design and verification
peers • Support formal friendly RTL design practices • Contribute
to verification planning and formal sign off Requirements: • 5 plus
years of hardware verification experience • Strong formal
verification experience in CPU, GPU, DSP or execution pipelines •
Strong arithmetic or datapath formal verification knowledge •
Strong SystemVerilog and SVA • Experience with JasperGold, VC
Formal, OneSpin or similar tools • Experience with proof
convergence, abstraction and black boxing • Vector, floatin

📌 Senior Formal Verification Engineer (Cataluña)
🏢 Hireroo
📍 Cataluña