[23/10/2025] Formal Verification Engineer
4 weeks ago
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.
-
[28/10/2025] Formal Verification Engineer
3 weeks ago
Bengaluru, India ACL Digital Full timeFormal Verification EngineerExperience: 4 to 12 YearsLocation: BangaloreJob 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...
-
Formal Verification Engineer
4 weeks ago
Bengaluru, India ACL Digital Full timeJob 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 timeJob 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
3 weeks ago
Bengaluru, India Whatjobs IN C2 Full timeJob 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
3 weeks ago
Bengaluru, India ACL Digital Full timeJob 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
1 week ago
Bengaluru, India ACL Digital Full timeJob 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
2 weeks ago
Bengaluru, India ACL Digital Full timeJob 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 timeJob 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 week ago
Bengaluru, India ACL Digital Full timeJob 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
2 weeks ago
Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per yearJob 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...
