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, floati

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