Job Description
Formal Verification Engineer
Experience: 4 to 12 Years
Location: Bangalore
Job Description
- Responsible for developing and executing formal verification strategies for IP and So C blocks.
- Write and prove assertions using System Verilog Assertions (SVA) or PSL.
- Use tools like Jasper Gold, VC Formal, or One Spin 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 thr...
Experience: 4 to 12 Years
Location: Bangalore
Job Description
- Responsible for developing and executing formal verification strategies for IP and So C blocks.
- Write and prove assertions using System Verilog Assertions (SVA) or PSL.
- Use tools like Jasper Gold, VC Formal, or One Spin 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 thr...