Job Description

Our partner is looking for a Formal Verification Lead to drive equivalence checking and formal signoff across RTL, synthesis and physical implementation stages.

The role focuses on RTL to Gate and Gate to Gate equivalence, low power intent, ECO validation and methodology improvement across hierarchical designs.

Location: Barcelona, Spain, Hybrid
Level: Senior

Responsibilities

Perform RTL to Gate and Gate to Gate equivalence checks

Drive LEC signoff using Synopsys Formality or similar tools

Debug mismatches related to clock gating, retention, isolation and level shifters

Validate equivalence across synthesis, place and route, and ECO cycles

Support equivalence checking with and without UPF

Resolve design mismatches with RTL, Synthesis, DFT and Physical Design teams

Validate ECO changes and drive equivalence closure

Develop scripts and improve formal verification methodology

Requirements

7+ years of Formal Verification / LEC experience

Strong Synopsys Formality / VC LP expertise

RTL to Gate and Gate to Gate equivalence

Hierarchical LEC flows

UPF and low power concepts

Synthesis and netlist optimization knowledge

Equivalence debugging

Tcl, Python or Perl

Bachelor or Master degree in Electrical Engineering, Electronics or related field

Optional / Desired





RISC V experience

DFT and scan impact on equivalence

STA interaction with LEC

Physical Design interaction with formal signoff

Experience improving scalable LEC methodology

What’s in it for you?

Flexible working hours

Hybrid model, 4 days office, 1 day from home

1 week per year working from anywhere

25 days annual leave plus December 24 and 31

Monthly food allowance

Private medical insurance

Relocation bonus

Housing search support

Visa support if required

Family relocation support

Virtual shares

Language classes

Tax incentive, subject to eligibility

We redefine recruitment by focusing on a rich back to basics approach that focuses on genuine relationship building both with our clients and our candidates, offering a truly bespoke service that revolves around that perfect match. With integral reach and equipped with profound industry insights and an extensive network, we have now earned the trust of globally recognized iGaming and fintech companies. Standing firmly as the go-to partner for these industry leaders, collaborating on numerous local and global HR projects, we take pride in our role as true lifetime partners for both our clients and candidates.

📌 Formal Verification Lead (Barcelona)
🏢 Hireroo
📍 Barcelona