Lead - Formal Verification Engineer

Tata Consultancy Services; Bengaluru; On-site; INR 1,200,000 - 1,800,000; Full time

Job summary

Tata Consultancy Services in Bengaluru is seeking an experienced formal verification engineer to define the FV strategy and signoff methodology for complex SoCs. You will own SoC-level LEC signoff from RTL to final netlist and resolve late-stage equivalence issues across hierarchies and power domains.

You will drive reusable FV flows, signoff checklists, and mentor FV engineers while interfacing with customers, internal teams, and EDA vendors to ensure high-quality signoffs.

Qualifications

• Experience in formal verification of SoCs and signoff
• Hands-on with LEC signoff from RTL to netlist
• Ability to resolve equivalence failures across hierarchies and power domains

Responsibilities

• Define formal verification strategy and signoff methodology for SoCs
• Own SoC-level LEC signoff from RTL to final netlist
• Resolve complex equivalence failures across hierarchies and power domains
• Drive best practices, reusable FV flows, and signoff checklists
• Mentor formal verification engineers and review signoff quality
• Interface with customers, internal signoff teams, and EDA vendors

Skills

Formal verification

Low power verification

Tcl scripting

Shell scripting

Python scripting

Tools

Synopsys Formality

Cadence Conformal (LEC / Low Power)

UPF-aware formal verification

Job description

• Define formal verification strategy and signoff methodology for SoCs
• Own SoC-level LEC signoff from RTL to final netlist
• Resolve complex, late-stage equivalence failures across hierarchies and power domains
• Drive best practices, reusable FV flows, and signoff checklists
• Mentor formal verification engineers and review signoff quality
• Interface with customers, internal signoff teams, and EDA vendors

Tools & Skills

• Formal Verification: Synopsys Formality, Cadence Conformal (LEC / Low Power)
• Low Power: UPF-aware formal verification
• Understanding of synthesis, STA, and physical transformations
• Scripting: Tcl (mandatory), Shell / Python (preferred)