Senior Formal Verification Engineer

1 week ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 12,00,000 - ₹ 25,00,000
Job Overview

This is a challenging role for a professional with expertise in formal verification to develop and execute strategies for complex designs.

  • Develop and execute formal verification plans for IP and SoC blocks.
  • Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.
  • Utilize tools like JasperGold, VC Formal, or OneSpin to verify complex digital circuits.
  • Collaborate with design and DV teams to integrate formal methods early in the development cycle.
  • Identify corner-case bugs that are hard to detect via simulation techniques.
  • Perform connectivity, X-check, and equivalence checking using formal verification applications.
  • Debug failures and analyze root causes efficiently.
  • Drive project closure with coverage and waiver management.
  • Automate formal flows using scripting languages like Python or Tcl.

About this Opportunity

We empower organizations to thrive by seamlessly integrating AI and data-driven solutions from chip to cloud. By choosing us, you gain a strategic advantage in navigating the complexities of digital transformation.

Key Responsibilities:

The successful candidate will be responsible for developing and executing formal verification strategies for IP and SoC blocks. This includes writing and proving assertions using SVA or PSL, utilizing tools like JasperGold, VC Formal, or OneSpin, and collaborating with design and DV teams to integrate formal methods early in the development cycle.

Required Skills and Qualifications:

The ideal candidate will have expertise in formal verification, system-level design, and software development. They will also have strong communication skills and be able to work effectively in a team environment.

Benefits:

This role offers a competitive salary and benefits package, including opportunities for professional growth and development.

  • Formal Verification Engineer

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

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

  • Formal Verification Engineer

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

  • Formal Verification Engineer

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

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, 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...

  • Formal Verification Engineer

    4 days ago

    Bengaluru, Karnataka, 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...

  • Formal verification Engineer

    2 weeks ago

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

    Dear LinkedIn reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey SoC development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking...

  • Formal verification engineer

    2 weeks ago

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

    Dear reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey So C development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking forward to...

  • Formal Verification Engineer

    2 weeks ago

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

    Dear reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry.Services include but not limited to Turnkey So C development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking forward to...

  • Senior Formal Verification Expert

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 23,90,000 - ₹ 28,90,000

    Formal Verification Expert LeadWe are seeking an experienced Formal Verification expert to lead formal verification efforts for complex digital designs. As a senior Formal Verification expert, you will be responsible for developing and implementing formal verification strategies and test plans for single or multiple design blocks and IPs.About the...