Position: Senior Formal Verification Engineer

Location: Bangalore

Experience: 8+ years

Notice Period: 30 days Max / Immediate Joiners Preferred

Role Overview

We are looking for a highly experienced Senior Formal Verification Engineer to own formal verification and sign-off for complex, high-speed IP blocks and subsystems. The ideal candidate will have solid expertise in Formal Property Verification (FPV), SystemVerilog, UVM, and advanced verification methodologies, with hands-on experience in complex protocol IPs such as DDR, PCIe, and Ethernet.

The candidate will work closely with RTL Design, Architecture, and Verification teams to develop robust formal verification strategies, debug complex counterexamples, achieve proof convergence, and drive verification closure.

Key Responsibilities
- Own end-to-end Formal Property Verification (FPV) for complex IP and subsystem blocks, from verification planning and property development through proof convergence and formal sign-off.
- Develop, review, and maintain SystemVerilog Assertions (SVA) for protocol compliance,



data integrity, corner cases, and functional requirements.
- Perform formal connectivity checking, X-propagation analysis, CDC/RDC-adjacent formal analysis, and register/CSR formal verification.
- Apply advanced formal techniques such as abstraction, case splitting, cut-points, assumptions, constraints, and complexity reduction to achieve proof convergence.
- Verify complex, high-speed protocol IPs including DDR, PCIe, and/or Ethernet.
- Develop and review assertion-based verification environments and Assertion IP (AIP) where applicable.
- Complement formal verification with System Verilog/UVM simulation-based verification, including test bench architecture, VIP integration, functional coverage, and coverage closure.
- Analyze and debug formal counterexamples and collaborate with RTL Design and Architecture teams to identify and resolve design or specification issues.
- Drive verification closure and con

📌 Senior Formal Verification Engineer (Bengaluru)
🏢 FB Veritas TechP
📍 Bengaluru