Position Overview
We are looking for a Lead Engineer in SoC Verification to join our team and contribute to the Formal Property Verification (FPV) and Connectivity Verification of complex SoC designs.
The engineer will be responsible for developing, executing, and maintaining formal verification strategies to ensure exhaustive property coverage, structural correctness, and architectural compliance across critical blocks and subsystems.
This role requires solid expertise in formal methodologies, hands-on experience with industry-standard formal tools, and the ability to collaborate closely with RTL design, architecture, and full-chip verification teams to ensure first-pass silicon success. The position aligns with core verification competencies expected within the organization for mid-senior technical roles.
Key Responsibilities
Formal Property Verification (FPV) Ownership
- Develop, implement, and execute block-level and subsystem-level formal verification plans.
- Write, qualify, and maintain SystemVerilog Assertions (SVAs)



and formal properties ensuring full functional intent is captured.
- Drive property convergence, coverage closure, and modeling of constraints and abstractions needed for formal completeness.
- Analyze unreachable or failing properties and work with design and architecture teams to refine specifications or fix design issues.

Connectivity and Structural Verification
- Own connectivity verification Complex SoC, ensuring structural correctness of interconnects, control paths, resets, clocks, interrupt lines, and memory maps.
- Validate structural rules, detect connectivity mismatches, and ensure alignment with architectural specs.

Collaboration With RTL, Architecture & Full-Chip Verification Teams
- Partner with RTL designers and SoC architects to understand design intent, microarchitecture, and corner-case requirements.
- Support integration teams with structural checks, static rule validation, and early bug discovery.
- Provide clear documenta

📌 Senior/Lead SOC Formal Verification Engineer (Bengaluru)
🏢 LT-Larsen & Toubro
📍 Bengaluru