Formal Verification Lead

5 days ago

Bengaluru South Karnataka, India Blueberry Semiconductors Full time ₹ 12,00,000 - ₹ 24,00,000 per year

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

  • Formal verification

    2 weeks ago

    Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...

  • Formal Verification

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    5 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time ₹ 4,00,000 - ₹ 12,00,000 per year

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 weeks ago

    Bengaluru, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP’s (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 weeks ago

    Bengaluru, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP’s (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    4 days ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification EngineerLocation: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India. Job Description is mentioned in details:: As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...

  • Lead Engineer, Formal Verification

    2 weeks ago

    Bengaluru, India Astera Labs Full time

    Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions grounded in open standards. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL, Ethernet, PCIe, and...