Formal Verification Engineer

3 weeks ago

Bengaluru, Karnataka, India ACL Digital Full time
Formal Verification Engineer

Experience: 4 to 12 Years

Location: Bangalore

Job Description

- Responsible for developing and executing formal verification strategies for IP and SoC blocks.
- Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.
- Use tools like JasperGold, VC Formal, or OneSpin to verify complex designs.
- Collaborate with design and DV teams to integrate formal early in the cycle.
- Identify corner-case bugs that are hard to detect via simulation.
- Perform connectivity, X-check, and equivalence checking using formal apps.
- Debug failures and analyze root causes efficiently.
- Drive closure with coverage and waiver management.
- Automate formal flows using scripting (Python, Perl, or Tcl).
- Document verification plans, results, and sign-off reports.

About Company

ACL Digital, a leader in digital engineering and transformation, is part of the ALTEN Group. At ACL Digital, we empower organizations to thrive in an AI-first world. Our expertise spans the entire technology stack, seamlessly integrating AI and data-driven solutions from Chip to cloud. By choosing ACL Digital, you gain a strategic advantage in navigating the complexities of digital transformation. Let us be your trusted partner in shaping the future.

  • Formal Verification Engineer

    7 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

    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

    5 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

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

  • Formal Verification Engineer

    4 weeks ago

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

    1 day 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

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

    1 week 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

    1 week 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

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