Talent.com
Formal Verification Lead

Formal Verification Lead

ConfidentialBengaluru / Bangalore, India
4 days ago
Job description

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

    • Skills Required

    formal verification

    Create a job alert for this search

    Formal Verification Lead • Bengaluru / Bangalore, India