Formal verification

1 day ago

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

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 logic, formal verification methodologies, and a passion for solving complex, challenging problems.

Responsibilities
  • Develop and execute formal verification test plans for complex RTL designs.
  • Apply formal verification techniques, including model checking, theorem proving, and equivalence checking, to verify hardware designs.
  • Work closely with design and DFT (Design for Test) teams to understand design specifications and identify critical properties to verify.
  • Identify, debug, and resolve functional bugs and corner-case issues in RTL using formal methods.
  • Develop formal properties (assertions) using languages like SystemVerilog Assertions (SVA) and PSL (Property Specification Language).
  • Create and maintain formal verification environments and flows.
  • Collaborate with design and architecture teams to improve design quality and reduce simulation cycles through early adoption of formal methods.
  • Document verification results and methodology to ensure design correctness and quality.
Qualifications
  • Education: Bachelor's or Master's degree in Electrical Engineering, Computer Science, or a related field.
  • Experience: 4+ years of experience in formal verification or ASIC/FPGA design verification.
  • Technical Skills:
  • Proficiency with formal verification tools such as JasperGold, VC Formal, or FormalPro.
  • Strong knowledge of SystemVerilog Assertions (SVA) is a must.
  • Solid understanding of digital logic design, computer architecture, and RTL (Register Transfer Level) design languages like Verilog or SystemVerilog.
  • Experience with scripting languages (e.g., Python, Perl, Tcl) for test automation.
  • Familiarity with simulation-based verification methodologies (e.g., UVM) is a plus.

  • 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

    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

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

    3 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

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

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

    2 weeks ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000

    Job Title: Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a Formal Verification Specialist, you will be responsible for working with world-class design engineers to develop formal micro-architecture specifications. You will also create comprehensive formal verification test plans that include unique...

  • Formal verification engineer

    3 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

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