Note: less than 7+ profiles will not be considered

Job Description
: Senior Formal Verification Engineer

Role Overview

We are looking for a Senior Formal Verification Engineer to own formal sign-off for complex, high

speed IP blocks and subsystems. The ideal candidate combines deep formal methodology expertise

with strong hands-on SystemVerilog/UVM verification experience on complex protocol IPs such as

DDR, PCIe, and Ethernet.

Key Responsibilities

● Own end-to-end Formal Property Verification (FPV) for complex IP and subsystem blocks —

from test plan and property/assertion development through proof convergence and sign-off

● Perform formal connectivity checking, X-propagation, CDC/RDC-adjacent formal analysis, and

register/CSR formal verification

● Apply advanced formal techniques — abstraction, case-splitting, cut-points, and complexity

reduction — to achieve convergence on large, complex designs

● Develop and review SystemVerilog Assertions (SVA) for protocol compliance, data integrity,

and corner-case behavior on DDR, PCIe, and/or Ethernet IP





● Complement formal sign-off with strong SV/UVM simulation-based verification where needed

— testbench architecture, VIP integration, coverage closure

● Collaborate closely with RTL design and architecture teams to debug counterexamples, refine

specifications, and drive verification closure

● Mentor junior verification engineers and contribute to formal verification methodology and

best practices across the team

Required Skills & Experience

● 8+ years of verification experience, with substantial hands-on Formal Verification (FPV)

ownership

● Robust expertise with industry-standard formal tools — Cadence JasperGold and/or Synopsys

VC Formal

● Proven experience verifying complex, high-speed protocol IP — DDR, PCIe, and/or Ethernet

strongly preferred

● Strong System Verilog and UVM expertise, with the ability to work across both formal and

simulation-based verification flows

● Solid understanding

📌 Senior Formal Verification Engineer (Bengaluru South)
🏢 Blueberry Semiconductors
📍 Bengaluru South