Formal Verification Lead

Company Description

Blueberry Semiconductors is a VLSI Design services company specializing in Design, Physical Implementation, Formal Verification, Design for Test (DFT), Verification and Silicon validation, FPGA Implementation, Rapid Prototyping, and embedded software and systems, including firmware verification. The company has employee-friendly policies that ensure high levels of employee satisfaction. The leadership team has extensive experience from large multinational companies and leading service providers. The Founders and Core team members are committed to transforming innovative concepts into silicon and leveraging the talent in India to elevate its status in the global semiconductor industry.

Role Description

Key Responsibilities

• Lead

  formal verification

  of complex IP-level RTL designs using property checking methodologies.
• Develop, code, and maintain

  System Verilog Assertions (SVA)

  for design properties.
• Build

  formal verification environments/testbenches from scratch

  and integrate with RTL designs.
• Dive deep into

  microarchitecture specifications

  , extract verification requirements, and craft formal test plans.
• Apply

  divide-and-conquer, abstraction, and complexity reduction techniques

  to tackle large designs effectively.
• Drive verification to

  closure with clear sign-off criteria

  .
• Collaborate with design teams and provide

  early bug detection and root-cause analysis

  using formal.
• Leverage and verify

  industry-standard protocols

  (AMBA AXI/AHB/APB, PCIe, USB, I2C, SPI, etc.).

• Mentor and coach

  engineers in formal verification tools, flows, and best practices, building team strength.

What We're Looking For

• 4+ years

  of strong hands-on experience in

  Formal Verification

  at the IP level.
• Proficiency in

  System Verilog Assertions (SVA)

  .
• Proven track record of building

  formal verification testbenches

  from scratch.
• Ability to comprehend

  microarchitecture specs

  and map them into verification requirements.
• Skill in applying

  formal abstraction, modularization, and scalability techniques

  .

• Mandatory:

  Hands-on experience with at least one commercial formal verification tool (Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal, OneSpin).
• Solid understanding of

  AMBA protocols

  and other high-speed/serial protocols.
• Strong communication and documentation skills.
• Passion for

  mentoring and enabling engineers

  to excel in formal verification.

What's In It For You

• Be part of a

  newly formed consulting team

  specializing in Formal Verification.

• Learn directly from industry veterans

  and accelerate your technical depth.
• Opportunity to

  define methodologies and influence best practices

  in formal verification.
• Exposure to

  next-generation semiconductor designs

  and industry-leading IPs.
• A culture that celebrates

  innovation, ownership, and growth

  .
• Build a

  flourishing career path

  in one of the most in-demand and high-impact areas of VLSI verification.

Qualifications

• Expertise in Formal Verification
• Strong Analytical Skills and Communication abilities
• Experience in Customer Service and Insurance Verification
• Able to lead a team and work collaboratively with cross-functional teams
• Experience in the semiconductor industry is a plus
• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field