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