Lead Formal Verification Engineer

1 week ago

Bengaluru South Karnataka, India Blueberry Semiconductors Full time ₹ 6,00,000 - ₹ 18,00,000 per year

We're hiring for Formal Verification engineer position Join our BLUEBERRY SEMICONDUCTORS team.

Job: Formal Verification Engineer

Location: Bengaluru

Job Type: Full- Time

Experience: 2 to 6 years

Education:
B.tech/

M.tech
, B.E

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

2+ 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.

  • Formal Verification Lead

    2 weeks ago

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

    Company DescriptionBlueberry 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...

  • Formal Verification

    6 days ago

    Bengaluru, Karnataka, India Quest Global Full time

    **Job Requirements** **Formal Verification Engineer Job Description**: **Overview**: We'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...

  • Formal Verification Lead

    4 weeks ago

    Bengaluru, India Blueberry Semiconductors Full time

    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...

  • Lead Formal Verification Engineer

    4 weeks ago

    Bengaluru, India Advanced Micro Devices (AMD) Full time

    Job Description THE ROLE: Execute formal verification for complex blocks for AMD s graphics processor IP, resulting in no bugs in the final design. THE PERSON: Good knowledge of formal verification along with understanding of complex designs. KEY RESPONSIBILITIES: - Understand the design to be verified - Plan and execute formal verification. Formal test plan...

  • Functional Formal Verification Engineer – Lead

    3 weeks ago

    Bengaluru, India Whatjobs IN C2 Full time

    Functional Formal Verification Engineer – Lead We are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs. Qualifications:...

  • Formal Verification Intern

    4 days ago

    Bengaluru, Karnataka, India Synopsys Full time

    Formal Verification Engineer at Synopsys, you will be responsible for formally verifying complex design IPs. Synopsys IP Group has a strong formal verification methodology that enables hardware verification engineers to use FV tools and techniques successfully on complex and/or critical RTL logic. The job involves very close interaction with the designers,...

  • Formal Verification Engineer

    2 days ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: 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 Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job 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 weeks ago

    Bengaluru, India Whatjobs IN C2 Full time

    Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job 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 weeks ago

    Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...